nixsearch / pkg / haskellPackages.Agda / 2.6.2.2
haskellPackages.Agda 2.6.2.2
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.2.2
$ nix shell github:NixOS/nixpkgs/a1291d0d020a200c7ce3c48e96090bfa4890a475#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/06365ba4549654b7ce58c33365c1282800e83a9e#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a#haskellPackages.Agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.Agda |
a1291d0d020a | out/nix/store/8c0whp6iyhar3234idvm2f5yvy9axlrx-Agda-2.6.2.2 data (not default)/nix/store/8c6p5i7pwbf88d69f91l1pd2fdqjsm2j-Agda-2.6.2.2-data doc (not default)/nix/store/42kzi2l5rbqlkgicb4kdgvcybxwix3cw-Agda-2.6.2.2-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.Agda |
06365ba45496 | out/nix/store/ava0pkqd91jx9gvvy3zi2pxpz8y8k8bl-Agda-2.6.2.2 doc (not default)/nix/store/kc90jvc2baln5xqk71nyfryd39xzs2ma-Agda-2.6.2.2-doc data (not default)/nix/store/ragwk2ghsz9f5mhwryaccbcldvvr9lrh-Agda-2.6.2.2-data |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.Agda |
0a25e2c87e78 | out/nix/store/wdpbkkynh4jc56sylghd97qna49fjfc4-Agda-2.6.2.2 data (not default)/nix/store/w3wan1769ansx73s1mvaw71917lq100v-Agda-2.6.2.2-data doc (not default)/nix/store/i8szn61jbvx14fgj9nv6p7n2kx0qwgfa-Agda-2.6.2.2-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.Agda |
06365ba45496 | out/nix/store/x40bacwv8jdpn8k4qvh9kghg31ajcfyz-Agda-2.6.2.2 data (not default)/nix/store/qvbrnznwxixyinwjkhp8yzk685wil807-Agda-2.6.2.2-data doc (not default)/nix/store/6mla7z0kfijzi6j73w9bm32a3n13qjvi-Agda-2.6.2.2-doc |
JSON: /v2/pkg?name=haskellPackages.Agda · /v2/resolve?name=haskellPackages.Agda&version=2.6.2.2