5 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| Hackage | Agda-executable | 2.3.0.1 | Dependent types | ulfn@chalmers.se |
| nixpkgs stable 21.05 | Agda-executable | 2.3.0.1 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs stable 21.11 | Agda-executable | 2.3.0.1 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs stable 22.05 | Agda-executable | 2.3.0.1 | haskellPackages | fallback-mnt-nix@repology |
| nixpkgs unstable | Agda-executable | 2.3.0.1 | haskellPackages | fallback-mnt-nix@repology |