agda 2.6.1.2
A dependently typed functional programming language and proof assistant
Linux
last changed
Pin this version
$ devbox add agda@2.6.1.2
$ nix shell github:NixOS/nixpkgs/75156546fc493f3c6b3fe5b05f1091cce98ad7cc#agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
agda |
75156546fc49 |
JSON: /v2/pkg?name=agda · /v2/resolve?name=agda&version=2.6.1.2