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 |