nixsearch
nixsearch / pkg / rocqPackages.stdpp / 1.13.0

rocqPackages.stdpp 1.13.0

Extended “Standard Library” for Rocq
Linux and macOS last changed

Pin this version

$ devbox add rocqPackages.stdpp@1.13.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit044bfe75bfe4c7bbe043dc17b5e42ea823b84a09 
$ nix shell github:NixOS/nixpkgs/044bfe75bfe4c7bbe043dc17b5e42ea823b84a09#rocqPackages.stdpp
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#rocqPackages.stdpp

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 rocqPackages.stdpp 044bfe75bfe4
out
/nix/store/3dcigp0bw4rl79d7yis0xn6k596h9c8y-rocq9.1-stdpp-1.13.0
aarch64-linux
Linux · arm64		 rocqPackages.stdpp 044bfe75bfe4
out
/nix/store/05c7fn6kkrnzvzyb9v3ghmck48j8720l-rocq9.1-stdpp-1.13.0
x86_64-darwin
macOS · x86-64		 rocqPackages.stdpp 3d46470bb303
out
/nix/store/dvbww3s8w958ikw0cw3fmr90gvb3s1yr-rocq-core9.1-stdpp-1.13.0
x86_64-linux
Linux · x86-64		 rocqPackages.stdpp 044bfe75bfe4
out
/nix/store/msivk63415f7ncv1c8ricc0z64fc3s78-rocq9.1-stdpp-1.13.0
all 1 releases

JSON: /v2/pkg?name=rocqPackages.stdpp · /v2/resolve?name=rocqPackages.stdpp&version=1.13.0