agda 2.6.1.3
A dependently typed functional programming language and proof assistant
Linux and macOS (Intel only)
last changed
Pin this version
$ devbox add agda@2.6.1.3
$ nix shell github:NixOS/nixpkgs/3e0ce8c5d478d06b37a4faa7a4cc8642c6bb97de#agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-darwinmacOS · x86-64 |
agda |
3e0ce8c5d478 | |||
x86_64-linuxLinux · x86-64 |
agda |
3e0ce8c5d478 |
JSON: /v2/pkg?name=agda · /v2/resolve?name=agda&version=2.6.1.3