nixsearch / pkg / haskellPackages.Agda / 2.8.0
haskellPackages.Agda 2.8.0
A dependently typed functional programming language and proof assistant
Linux and macOS
last changed
outputs: bin, out, data, doc
Pin this version
$ devbox add haskellPackages.Agda@2.8.0
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.Agda
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#haskellPackages.Agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.Agda |
b6c8664de9b6 | out/nix/store/qk1am7qcqln72ph5vhwq3aq7bihd3gdm-Agda-2.8.0 bin/nix/store/v34sx05275b20jvfrdjjknrkvzxyj5qs-Agda-2.8.0-bin data (not default)/nix/store/sij41caks3znqyjlrgl8vi90i613rqd4-Agda-2.8.0-data doc (not default)/nix/store/8a78jkkj7pw8paqrjfr9amnf3vrcyc64-Agda-2.8.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.Agda |
b6c8664de9b6 | out/nix/store/4z2h07hyjrzfw4lfg220l4j5scgkxys1-Agda-2.8.0 bin/nix/store/vkmhw3mllb5wwqn2gi81fc4awf812234-Agda-2.8.0-bin data (not default)/nix/store/wk7czk81kabd1y1ap28mky7jv5rwl3p4-Agda-2.8.0-data doc (not default)/nix/store/v9dzjwi8n8vm19rv1czv3z436kayqrv7-Agda-2.8.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.Agda |
05988b07fb05 | out/nix/store/nsv187phkrzkmwhg6xvafr928y4qi8mw-Agda-2.8.0 bin/nix/store/b1br03l1k6p9irdvkhn8rgndgk2y3487-Agda-2.8.0-bin data (not default)/nix/store/0ahxmqz9sbmrq0b8vah55zz563mb86l4-Agda-2.8.0-data doc (not default)/nix/store/k0j196n1q8sykx4vimmgfiwl5wqk7l8y-Agda-2.8.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.Agda |
b6c8664de9b6 | out/nix/store/lzp7h9ca4knymwkm4w50ngxjmxbz05gj-Agda-2.8.0 bin/nix/store/m9j55nnjhrnf0gknk10vlkh84nasgwjn-Agda-2.8.0-bin data (not default)/nix/store/889j1pgdkb14wz4r1fpmzn7siqkbkhgx-Agda-2.8.0-data doc (not default)/nix/store/skgd5q74z39vv2qhfyyizlwsml59mfgz-Agda-2.8.0-doc |
JSON: /v2/pkg?name=haskellPackages.Agda · /v2/resolve?name=haskellPackages.Agda&version=2.8.0