nixsearch
nixsearch / pkg / agda / 2.8.0

agda 2.8.0

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

Pin this version

$ devbox add agda@2.8.0
systemsaarch64-darwin commita32edd7654519351e48e80372a928df336394670 
$ nix shell github:NixOS/nixpkgs/a32edd7654519351e48e80372a928df336394670#agda
systemsaarch64-linux, x86_64-linux commit35e212742ceab4ae1dcfbfd9039a39215c816e8e 
$ nix shell github:NixOS/nixpkgs/35e212742ceab4ae1dcfbfd9039a39215c816e8e#agda
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#agda

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agda a32edd765451
out
/nix/store/j9nfycf6v2qwqg007d8yqz921fj2xv1x-agdaWithPackages-2.8.0
aarch64-linux
Linux · arm64		 agda 35e212742cea
out
/nix/store/fbxf6syz59gdvfx31jfi2kmc203ihgdw-agdaWithPackages-2.8.0
x86_64-darwin
macOS · x86-64		 agda 05988b07fb05
out
/nix/store/sjlvri0qkcz3vp001z79bi0fkcwp53z1-agdaWithPackages-2.8.0
x86_64-linux
Linux · x86-64		 agda 35e212742cea
out
/nix/store/whr6s5qrznydvc4cmm3bl4p59bc4kj7r-agdaWithPackages-2.8.0
all 14 releases older: 2.7.0.1 →

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