nixsearch
nixsearch / pkg / rocq-core_9_0 / 9.0.1

rocq-core_9_0 9.0.1

Rocq Prover
Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 rocq-core_9_0 b6c8664de9b6
out
/nix/store/zkyzbfxqlicn3mighx3wlf9npfavb3kn-rocq-9.0.1
aarch64-linux
Linux · arm64		 rocq-core_9_0 b6c8664de9b6
out
/nix/store/iv1bp979qsqkyxqx7b5pq68d4j86d63q-rocq-9.0.1
x86_64-darwin
macOS · x86-64		 rocq-core_9_0 3d46470bb303
out
/nix/store/gh1qzdvypqv4wpv2gss18h5gjhz16ddq-rocq-9.0.1
x86_64-linux
Linux · x86-64		 rocq-core_9_0 b6c8664de9b6
out
/nix/store/z10d0gmk32h4ks4n6x7gxgh9ww4p2yjl-rocq-9.0.1
all 3 releases older: 9.0.0 →

JSON: /v2/pkg?name=rocq-core_9_0 · /v2/resolve?name=rocq-core_9_0&version=9.0.1