coq_8_15 8.15.0
Coq proof assistant
Linux and macOS
last changed
Pin this version
$ devbox add coq_8_15@8.15.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5
$ nix shell github:NixOS/nixpkgs/4c3c80df545ec5cb26b5480979c3e3f93518cbe5#coq_8_15
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coq_8_15 |
4c3c80df545e | out/nix/store/8x3xpmai745aix907q2sykblz23i0ch0-coq-8.15.0 |
||
aarch64-linuxLinux · arm64 |
coq_8_15 |
4c3c80df545e | out/nix/store/110jl2lkn2hby2z9fv0hkjv875ch9f6c-coq-8.15.0 |
||
x86_64-darwinmacOS · x86-64 |
coq_8_15 |
4c3c80df545e | out/nix/store/06rzl4mddc0acwna3fn2zmc5c9xqm2yf-coq-8.15.0 |
||
x86_64-linuxLinux · x86-64 |
coq_8_15 |
4c3c80df545e |
JSON: /v2/pkg?name=coq_8_15 · /v2/resolve?name=coq_8_15&version=8.15.0