nixsearch / pkg / agda
agda
A dependently typed functional programming language and proof assistant
version2.8.0
attributeagda
rev
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
aarch64-darwin 8d5d270900d3fc75655ea2d9d248b234f6631439 aarch64-linux 8d5d270900d3fc75655ea2d9d248b234f6631439 x86_64-darwin 05988b07fb05cbcb50be6bce197b4b5f75b5e61b x86_64-linux 8d5d270900d3fc75655ea2d9d248b234f6631439 $ devbox add agda@2.8.0
$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#agda # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#agda # aarch64-linux
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#agda # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#agda # x86_64-linux
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2.8.0resolved | ✓ | ✓ | ✓ | ✓ | agda |
varies | ||
| 2.7.0.1 | ✓ | ✓ | ✓ | ✓ | agda |
varies | ||
| 2.7.0 | ✓ | ✓ | ✓ | ✓ | agda |
d4f247e89f | ||
| 2.6.4.3 | ✓ | ✓ | ✓ | ✓ | agda |
5629520ede | ||
| 2.6.4.1 | ✓ | ✓ | ✓ | ✓ | agda |
varies | ||
| 2.6.4 | ✓ | ✓ | ✓ | ✓ | agda |
fd04bea4cb | ||
| 2.6.3 | ✓ | ✓ | ✓ | ✓ | agda |
varies | ||
| 2.6.2.2 | ✓ | ✓ | ✓ | ✓ | agda |
0a25e2c87e | ||
| 2.6.2.1 | ✓ | ✓ | ✓ | ✓ | agda |
4c3c80df54 | ||
| 2.6.2 | ✓ | – | ✓ | ✓ | agda |
cdaa4ce25b | ||
| 2.6.1.3 | – | – | ✓ | ✓ | agda |
3e0ce8c5d4 | ||
| 2.6.1.2 | – | – | – | ✓ | agda |
75156546fc | ||
| 2.6.1.1 | – | – | – | ✓ | agda |
7ad5e816fa | ||
| 2.6.1 | – | – | – | ✓ | agda |
51428e8d38 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.