nixsearch
nixsearch / pkg / coq_9_1 / 9.1+rc1

coq_9_1 9.1+rc1

Coq proof assistant
Linux and macOS last changed

Pin this version

$ devbox add coq_9_1@9.1+rc1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit648f70160c03151bc2121d179291337ad6bc564b 
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#coq_9_1

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coq_9_1 648f70160c03
out
/nix/store/aspnf0kzcclwg9gln910jm8dbk9527g3-coq-9.1+rc1
aarch64-linux
Linux · arm64		 coq_9_1 648f70160c03
out
/nix/store/hvhwxvfjw1zw0yzz3wk67jp41lhvqpxn-coq-9.1+rc1
x86_64-darwin
macOS · x86-64		 coq_9_1 648f70160c03
out
/nix/store/p746snqglamyl3wf3l38w2bvz8kvz5mr-coq-9.1+rc1
x86_64-linux
Linux · x86-64		 coq_9_1 648f70160c03
out
/nix/store/mxpz894bhg5d0f8s379lw96h0xccigcw-coq-9.1+rc1
← newer: 9.1.0 all 3 releases

JSON: /v2/pkg?name=coq_9_1 · /v2/resolve?name=coq_9_1&version=9.1%2Brc1