nixsearch
nixsearch / pkg / python313Packages.coq-tools / 0.0.36

python313Packages.coq-tools 0.0.36

Tools for working with Coq proof assistant
Linux and macOS last changed outputs: out, dist

Pin this version

$ devbox add python313Packages.coq-tools@0.0.36
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit1d4c88323ac36805d09657d13a5273aea1b34f0c 
$ nix shell github:NixOS/nixpkgs/1d4c88323ac36805d09657d13a5273aea1b34f0c#python313Packages.coq-tools

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.coq-tools 1d4c88323ac3
out
/nix/store/y3qx0vj2abbva7brwvlzi2ldw23jplr2-python3.13-coq-tools-0.0.36
dist (not default)
/nix/store/vf35qgh2mddkzwsvgkmxhj54ddz6ky66-python3.13-coq-tools-0.0.36-dist
aarch64-linux
Linux · arm64		 python313Packages.coq-tools 1d4c88323ac3
out
/nix/store/5s5rrhmlzvs8vjrdmhy14lnp4wr5m1y7-python3.13-coq-tools-0.0.36
dist (not default)
/nix/store/183q4j9wdmy9b1mf1pdnv8j7hs7hwgwj-python3.13-coq-tools-0.0.36-dist
x86_64-darwin
macOS · x86-64		 python313Packages.coq-tools 1d4c88323ac3
out
/nix/store/4vb64yi7ximlwifcsr73p667l52wwgv6-python3.13-coq-tools-0.0.36
dist (not default)
/nix/store/nha5bbwx5gw6d7v924h78k9rcl5vsjdv-python3.13-coq-tools-0.0.36-dist
x86_64-linux
Linux · x86-64		 python313Packages.coq-tools 1d4c88323ac3
out
/nix/store/q7il8k8ry2r80dpwlfp5vv9y6jz5wb99-python3.13-coq-tools-0.0.36
dist (not default)
/nix/store/qkmfaqvhw46r6qcn2frm17l8shgdn4gv-python3.13-coq-tools-0.0.36-dist
← newer: 0.0.39 all 4 releases

JSON: /v2/pkg?name=python313Packages.coq-tools · /v2/resolve?name=python313Packages.coq-tools&version=0.0.36