nixsearch
nixsearch / pkg / coq_8_15 / 8.15+rc1

coq_8_15 8.15+rc1

Coq proof assistant
Linux and macOS last changed

Pin this version

$ devbox add coq_8_15@8.15+rc1
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitcc68710784ffe0ee035ee7b726656c44566cac94 
$ nix shell github:NixOS/nixpkgs/cc68710784ffe0ee035ee7b726656c44566cac94#coq_8_15

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coq_8_15 cc68710784ff
x86_64-darwin
macOS · x86-64		 coq_8_15 cc68710784ff
x86_64-linux
Linux · x86-64		 coq_8_15 cc68710784ff
← newer: 8.15.0 all 4 releases

JSON: /v2/pkg?name=coq_8_15 · /v2/resolve?name=coq_8_15&version=8.15%2Brc1