nixsearch
nixsearch / pkg / agda / 2.7.0.1

agda 2.7.0.1

A dependently typed functional programming language and proof assistant
Linux and macOS last changed

Pin this version

$ devbox add agda@2.7.0.1
systemsaarch64-darwin, x86_64-darwin commit648f70160c03151bc2121d179291337ad6bc564b 
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#agda
systemsaarch64-linux, x86_64-linux commitbf9fa86a9b1005d932f842edf2c38eeecc98eef3 
$ nix shell github:NixOS/nixpkgs/bf9fa86a9b1005d932f842edf2c38eeecc98eef3#agda

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agda 648f70160c03
out
/nix/store/qf2xzsh4kqzwx1v4sf6iqfzmm4s1lppf-agdaWithPackages-2.7.0.1
aarch64-linux
Linux · arm64		 agda bf9fa86a9b10
out
/nix/store/mpmbr31zc7yc8s1y3ryingrj25bdn084-agdaWithPackages-2.7.0.1
x86_64-darwin
macOS · x86-64		 agda 648f70160c03
out
/nix/store/jrfgimn1c8wviz3fwkpna3fpk77i7z3n-agdaWithPackages-2.7.0.1
x86_64-linux
Linux · x86-64		 agda bf9fa86a9b10
out
/nix/store/4ksanlkl93z89hnj9w6h9lapy1cnqk33-agdaWithPackages-2.7.0.1
← newer: 2.8.0 all 14 releases older: 2.7.0 →

JSON: /v2/pkg?name=agda · /v2/resolve?name=agda&version=2.7.0.1