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