| x86_64-linux agdaPackages.generic | |
| x86_64-linux agdaPackages.agda-categories | |
| x86_64-darwin agdaPackages.functional-linear-algebra | |
| x86_64-darwin agdaPackages.standard-library | |
| aarch64-linux agdaPackages.agda-categories | |
| i686-linux agdaPackages.agda-categories | |
| i686-linux agdaPackages.functional-linear-algebra | |
| x86_64-linux agdaPackages.functional-linear-algebra | |
| x86_64-darwin agdaPackages.generic | |
| aarch64-linux agdaPackages.functional-linear-algebra | |
| i686-linux agdaPackages.generic | |
| aarch64-linux agdaPackages.generic | |
| aarch64-linux agdaPackages.standard-library | |
| x86_64-linux agdaPackages.standard-library | |
| x86_64-darwin agdaPackages.agda-categories | |
| i686-linux agdaPackages.standard-library |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment