agda 2.6.2.1
A dependently typed functional programming language and proof assistant
Linux and macOS
last changed
Pin this version
$ devbox add agda@2.6.2.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5
$ nix shell github:NixOS/nixpkgs/4c3c80df545ec5cb26b5480979c3e3f93518cbe5#agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
agda |
4c3c80df545e | out/nix/store/i6lf756mz5xcjiw9lzbkgw3jyg2gb06f-agdaWithPackages-2.6.2.1 |
||
aarch64-linuxLinux · arm64 |
agda |
4c3c80df545e | out/nix/store/hndff4ys7zkv1rr89qg320cdnd7w4yq5-agdaWithPackages-2.6.2.1 |
||
x86_64-darwinmacOS · x86-64 |
agda |
4c3c80df545e | out/nix/store/vbj2q0dswpvrlmyz5bjyfas58qv2p2mi-agdaWithPackages-2.6.2.1 |
||
x86_64-linuxLinux · x86-64 |
agda |
4c3c80df545e |
JSON: /v2/pkg?name=agda · /v2/resolve?name=agda&version=2.6.2.1