nixsearch
nixsearch / pkg / coq_8_6

coq_8_6

Coq proof assistant
LGPL-2.1 coq.inria.fr coq_8_6 1 release newest changed
coq_8_6@ latest, 3.11, ^3.11, >=3.10 <3.12
version8.6.1 attributecoq_8_6 rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add coq_8_6@8.6.1
$ nix shell github:NixOS/nixpkgs/7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11#coq_8_6  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/e821e03193486359aa942372be2d9c1f377b7a18#coq_8_6  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/e821e03193486359aa942372be2d9c1f377b7a18#coq_8_6  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/e821e03193486359aa942372be2d9c1f377b7a18#coq_8_6  # x86_64-linux

JSON: /v2/resolve?name=coq_8_6&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
8.6.1resolved ✓✓✓✓ coq_8_6 varies

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.