nixsearch
nixsearch / pkg / coqPackages.coq-bits / 1.1.0

coqPackages.coq-bits 1.1.0

A formalization of bitset operations in Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.coq-bits@1.1.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit96ba1c52e54e74c3197f4d43026b3f3d92e83ff9 
$ nix shell github:NixOS/nixpkgs/96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coqPackages.coq-bits

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.coq-bits 96ba1c52e54e
out
/nix/store/jddi8i696a0yjxs5p8qg8msyxlb6a4n8-coq8.16-coq-bits-1.1.0
aarch64-linux
Linux · arm64		 coqPackages.coq-bits 96ba1c52e54e
out
/nix/store/6gdhndhj00wyd0hd8j51gqrm4qg12dvc-coq8.16-coq-bits-1.1.0
x86_64-darwin
macOS · x86-64		 coqPackages.coq-bits 96ba1c52e54e
out
/nix/store/j17jbvhw0c94gyizkb74mx4mivy4psb3-coq8.16-coq-bits-1.1.0
x86_64-linux
Linux · x86-64		 coqPackages.coq-bits 96ba1c52e54e
out
/nix/store/aap8m7nf92z82kn1zz8cbmf09vz21gy2-coq8.16-coq-bits-1.1.0
← newer: 20190812 all 2 releases

JSON: /v2/pkg?name=coqPackages.coq-bits · /v2/resolve?name=coqPackages.coq-bits&version=1.1.0