nixsearch / pkg / coq_9_3
coq_9_3
Coq proof assistant
version9.3.0
attributecoq_9_3
rev8825bebf6324e0579d012936eff73379af284b6d · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add coq_9_3@9.3.0
$ nix shell github:NixOS/nixpkgs/8825bebf6324e0579d012936eff73379af284b6d#coq_9_3
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 9.3.0resolved | ✓ | ✓ | – | ✓ | coq_9_3 |
3396d05846 | ||
| 9.3+rc1 | ✓ | ✓ | – | ✓ | coq_9_3 |
02f5696b0e |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.