nixsearch / pkg / haskellPackages.Agda / 2.6.4
haskellPackages.Agda 2.6.4
A dependently typed functional programming language and proof assistant
Linux and macOS
last changed
outputs: out, data, doc
Pin this version
$ devbox add haskellPackages.Agda@2.6.4
$ nix shell github:NixOS/nixpkgs/d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/aa9d4729cbc99dabacb50e3994dcefb3ea0f7447#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/d6863cbcbbb80e71cecfc03356db1cda38919523#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/e1fa12d4f6c6fe19ccb59cac54b5b3f25e160870#haskellPackages.Agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.Agda |
d44d59d2b5bd | out/nix/store/zzr1mlkh0w7gnra6imgysbin2905qsr7-Agda-2.6.4 data (not default)/nix/store/0jlqxmnhlr3q144b058gkxbcrilfw111-Agda-2.6.4-data doc (not default)/nix/store/v07x8n7c47sr35fycggry0rwmizrshcr-Agda-2.6.4-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.Agda |
aa9d4729cbc9 | out/nix/store/51a30k3w5hhyf5ay5gk7y783rx44nv4x-Agda-2.6.4 data (not default)/nix/store/yblkj8gp411djnxzhhl57cphgdkbwi81-Agda-2.6.4-data doc (not default)/nix/store/1ky4d71hi95a3w9ih71zxwbmczsdlnsn-Agda-2.6.4-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.Agda |
d6863cbcbbb8 | out/nix/store/jhlvlnk9i2xnhxh2yj7zn0yjjkam48gv-Agda-2.6.4 data (not default)/nix/store/mi8w0k4xnhrxc3h6vzxdgybch7l7jdp5-Agda-2.6.4-data doc (not default)/nix/store/77a1bkj2wj8gaq2pasck51fj5wsn485k-Agda-2.6.4-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.Agda |
e1fa12d4f6c6 | out/nix/store/8icsf1alnxcpbkc56z0mkvzb8b28lsaa-Agda-2.6.4 data (not default)/nix/store/608xqvjg39cskqsi9swckvc36czijnbm-Agda-2.6.4-data doc (not default)/nix/store/pdl66v8hn8j4462jvi5zjbbjvzl4mqi6-Agda-2.6.4-doc |
JSON: /v2/pkg?name=haskellPackages.Agda · /v2/resolve?name=haskellPackages.Agda&version=2.6.4