nixsearch
nixsearch / pkg / haskellPackages.Agda / 2.7.0.1

haskellPackages.Agda 2.7.0.1

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.7.0.1
systemsaarch64-darwin commit372d9eeeafa5b15913201e2b92e8e539ac7c64d1 
$ nix shell github:NixOS/nixpkgs/372d9eeeafa5b15913201e2b92e8e539ac7c64d1#haskellPackages.Agda
systemsaarch64-linux commit00b574b1ba8a352f0601c4dde4faff4b534ebb1e 
$ nix shell github:NixOS/nixpkgs/00b574b1ba8a352f0601c4dde4faff4b534ebb1e#haskellPackages.Agda
systemsx86_64-darwin commit4e942f9ef5b35526597c354d1ded817d1c285ef1 
$ nix shell github:NixOS/nixpkgs/4e942f9ef5b35526597c354d1ded817d1c285ef1#haskellPackages.Agda
systemsx86_64-linux commitbf9fa86a9b1005d932f842edf2c38eeecc98eef3 
$ nix shell github:NixOS/nixpkgs/bf9fa86a9b1005d932f842edf2c38eeecc98eef3#haskellPackages.Agda

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.Agda 372d9eeeafa5
out
/nix/store/y4nwvgyzl6s512l4in0k2wxzir3qvx44-Agda-2.7.0.1
bin
/nix/store/kcan089y9ylkhqh1944m5xn8g8w4ybwq-Agda-2.7.0.1-bin
doc (not default)
/nix/store/2iwyjhifbkp4m03jfs7g1j7xsw3xmp9q-Agda-2.7.0.1-doc
data (not default)
/nix/store/xnklh5x6x71dn2md0yymqn1gmx2c9c5x-Agda-2.7.0.1-data
aarch64-linux
Linux · arm64		 haskellPackages.Agda 00b574b1ba8a
out
/nix/store/qvbqyq99lk3fdla8pwhmh7aa7z1ly3zc-Agda-2.7.0.1
bin
/nix/store/inrrsa0l0gy5sfhyvbdsfyb3wysc7fb7-Agda-2.7.0.1-bin
data (not default)
/nix/store/38ak26m6sjnack3aqz2ny9a36cv7jbvh-Agda-2.7.0.1-data
doc (not default)
/nix/store/d8wm7xvxc0kjmj18ib5ddw2kxdxbf1yz-Agda-2.7.0.1-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.Agda 4e942f9ef5b3
out
/nix/store/lm7jj632dc1jm9pk021hjrp40bmzcxra-Agda-2.7.0.1
bin
/nix/store/68avwzlwm0lvnck3b1zqfrhs3gmz8fy1-Agda-2.7.0.1-bin
data (not default)
/nix/store/flrd72lrgiaazzf95177qrd880vlw8aa-Agda-2.7.0.1-data
doc (not default)
/nix/store/0xh4w527jb72f95jp24wccjyqgx9qkip-Agda-2.7.0.1-doc
x86_64-linux
Linux · x86-64		 haskellPackages.Agda bf9fa86a9b10
out
/nix/store/1w5qgakr7ncwr02zrq7gfdagaj2f2raq-Agda-2.7.0.1
bin
/nix/store/7wbx9qzahbxf51vbb0wxrg5c41y34y87-Agda-2.7.0.1-bin
data (not default)
/nix/store/1kdczncsjxwhhpyaxszq67xn1mxxan12-Agda-2.7.0.1-data
doc (not default)
/nix/store/fqbqrljjh47q559xnf87m55sxbm6hjh1-Agda-2.7.0.1-doc
← newer: 2.8.0 all 9 releases older: 2.7.0 →

JSON: /v2/pkg?name=haskellPackages.Agda · /v2/resolve?name=haskellPackages.Agda&version=2.7.0.1