nixsearch
nixsearch / pkg / coq_8_6 / 8.6.1

coq_8_6 8.6.1

Coq proof assistant
Linux and macOS last changed

Pin this version

$ devbox add coq_8_6@8.6.1
systemsaarch64-darwin commit7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11 
$ nix shell github:NixOS/nixpkgs/7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11#coq_8_6
systemsaarch64-linux, x86_64-darwin, x86_64-linux commite821e03193486359aa942372be2d9c1f377b7a18 
$ nix shell github:NixOS/nixpkgs/e821e03193486359aa942372be2d9c1f377b7a18#coq_8_6

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coq_8_6 7d0ed7f2e5ae
aarch64-linux
Linux · arm64		 coq_8_6 e821e0319348
out
/nix/store/bylay6w2niznz13fjn52ps3dli3dcdkg-coq-8.6.1
x86_64-darwin
macOS · x86-64		 coq_8_6 e821e0319348
out
/nix/store/sy03v8v2b8rl9baw2gg928qr1pba8bjj-coq-8.6.1
x86_64-linux
Linux · x86-64		 coq_8_6 e821e0319348
out
/nix/store/zgsqm4whis94xb6nijlx3p95jaxcvkcy-coq-8.6.1
all 1 releases

JSON: /v2/pkg?name=coq_8_6 · /v2/resolve?name=coq_8_6&version=8.6.1