nixsearch
nixsearch / pkg / coq_9_1 / 9.1.0

coq_9_1 9.1.0

Coq proof assistant
Linux and macOS last changed

Pin this version

$ devbox add coq_9_1@9.1.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#coq_9_1

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coq_9_1 a1bab9e494f5
out
/nix/store/4a8qjr1ffvaq9i94xxnf1sk9aiahyc53-coq-9.1.0
aarch64-linux
Linux · arm64		 coq_9_1 a1bab9e494f5
out
/nix/store/628ms8px8h5arfypf2wrqkskzklv5bdq-coq-9.1.0
x86_64-darwin
macOS · x86-64		 coq_9_1 a1bab9e494f5
out
/nix/store/3zi5kj58chnx97qhv725al14w17idm66-coq-9.1.0
x86_64-linux
Linux · x86-64		 coq_9_1 a1bab9e494f5
out
/nix/store/fqbwdc2b11dn4y1ajmjqir057mjrx5q7-coq-9.1.0
← newer: 9.1.1 all 3 releases older: 9.1+rc1 →

JSON: /v2/pkg?name=coq_9_1 · /v2/resolve?name=coq_9_1&version=9.1.0