nixsearch
nixsearch / pkg / haskellPackages.Agda / 2.6.4.3

haskellPackages.Agda 2.6.4.3

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.6.4.3
systemsaarch64-darwin commit282e35e0762d64800d78e33ff225704baf9e5216 
$ nix shell github:NixOS/nixpkgs/282e35e0762d64800d78e33ff225704baf9e5216#haskellPackages.Agda
systemsaarch64-linux commit5629520edecb69630a3f4d17d3d33fc96c13f6fe 
$ nix shell github:NixOS/nixpkgs/5629520edecb69630a3f4d17d3d33fc96c13f6fe#haskellPackages.Agda
systemsx86_64-darwin, x86_64-linux commit8b4061fd60ccc3b3f44b73faa7c983eacf7a6f7b 
$ nix shell github:NixOS/nixpkgs/8b4061fd60ccc3b3f44b73faa7c983eacf7a6f7b#haskellPackages.Agda

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.Agda 282e35e0762d
out
/nix/store/3xb076pclkrjxarm8fz5kly794bl4fmh-Agda-2.6.4.3
bin
/nix/store/y9nyrrczkvyw7akskfk1ian2dcpxl5fi-Agda-2.6.4.3-bin
data (not default)
/nix/store/fzpj4jbrd33ghv62jn6gb1i19yk4n19v-Agda-2.6.4.3-data
doc (not default)
/nix/store/p7pmvby9xlkz44fd58k363x7b2aya3df-Agda-2.6.4.3-doc
aarch64-linux
Linux · arm64		 haskellPackages.Agda 5629520edecb
out
/nix/store/z9y5gx1hh3cgb2anxgcglnl2ig0pfnqw-Agda-2.6.4.3
bin
/nix/store/0cp8cnprg1f2d4gk3009v1ya94vf9z54-Agda-2.6.4.3-bin
data (not default)
/nix/store/vjbxkdyhlhyi53ibi4a0rrf1cnlkl9n6-Agda-2.6.4.3-data
doc (not default)
/nix/store/cdz7j3bdbirdijc064pf8x5d3j3khq89-Agda-2.6.4.3-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.Agda 8b4061fd60cc
out
/nix/store/myxnhi0ax0r2inrv62pgl0cgb4kjsx8y-Agda-2.6.4.3
bin
/nix/store/d78yv43yvnpfm8zdqz0krphp2bpmb8k2-Agda-2.6.4.3-bin
doc (not default)
/nix/store/y6rhchsxzqz94a3jy1xpa548vfjc7yqw-Agda-2.6.4.3-doc
data (not default)
/nix/store/48qmi8hjk9fv07mh4v98nwlcgr7r0xi7-Agda-2.6.4.3-data
x86_64-linux
Linux · x86-64		 haskellPackages.Agda 8b4061fd60cc
out
/nix/store/2kzl9x82pja5yj4aglpwrsnbbna1mcwz-Agda-2.6.4.3
bin
/nix/store/pja3hwjl9l8s1scqn0jqlj273mssk92k-Agda-2.6.4.3-bin
doc (not default)
/nix/store/bjxfw4jmaviclv83lmf6ynx2a2h1pzb6-Agda-2.6.4.3-doc
data (not default)
/nix/store/5x28zz35kd5x8mgcv6zb0z61n6v280hh-Agda-2.6.4.3-data
← newer: 2.7.0 all 9 releases older: 2.6.4.1 →

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