nixsearch
nixsearch / pkg / coq_8_9 / 8.9.1

coq_8_9 8.9.1

Coq proof assistant
Linux and macOS (Intel only) last changed

Pin this version

$ devbox add coq_8_9@8.9.1
systemsaarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coq_8_9
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#coq_8_9

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 coq_8_9 b6c8664de9b6
out
/nix/store/mjqqyrbn1vqm27b0ffzwv5jcw662z488-coq-8.9.1
x86_64-darwin
macOS · x86-64		 coq_8_9 3d46470bb303
out
/nix/store/ppwysz391dqz30xsxbkw948bl88jwhfj-coq-8.9.1
x86_64-linux
Linux · x86-64		 coq_8_9 b6c8664de9b6
out
/nix/store/vi8ygvrvi2zc60qp4qxbrnswprzvq703-coq-8.9.1
all 1 releases

JSON: /v2/pkg?name=coq_8_9 · /v2/resolve?name=coq_8_9&version=8.9.1