nixsearch
nixsearch / pkg / rocqPackages.rocq-core / 9.0.0

rocqPackages.rocq-core 9.0.0

Rocq Prover
Linux and macOS last changed

Pin this version

$ devbox add rocqPackages.rocq-core@9.0.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit8679b16e11becd487b45d568358ddf9d5640d860 
$ nix shell github:NixOS/nixpkgs/8679b16e11becd487b45d568358ddf9d5640d860#rocqPackages.rocq-core

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 rocqPackages.rocq-core 8679b16e11be
out
/nix/store/gdxzi99vimjwd5s1k08lk0gpjp7ap310-rocq-9.0.0
aarch64-linux
Linux · arm64		 rocqPackages.rocq-core 8679b16e11be
out
/nix/store/azyfybmxfky7hzlnflsxilhh746ipwqj-rocq-9.0.0
x86_64-darwin
macOS · x86-64		 rocqPackages.rocq-core 8679b16e11be
out
/nix/store/x0zv5cyz4f3xfsy1dmy50q2kbxr63rq5-rocq-9.0.0
x86_64-linux
Linux · x86-64		 rocqPackages.rocq-core 8679b16e11be
out
/nix/store/rdv2n8f30y6vdjby6vvkphkij6ji8iqp-rocq-9.0.0
all 2 releases older: 9.0+rc1 →

JSON: /v2/pkg?name=rocqPackages.rocq-core · /v2/resolve?name=rocqPackages.rocq-core&version=9.0.0