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

python313Packages.coq-tools 0.0.39

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.39
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#python313Packages.coq-tools

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.coq-tools a1bab9e494f5
out
/nix/store/qpf9m9a2cj7fl446dirsc353i2yi1v58-python3.13-coq-tools-0.0.39
dist (not default)
/nix/store/qsh2ykc2vyqlnrd8afv6a7mbm92jspk7-python3.13-coq-tools-0.0.39-dist
aarch64-linux
Linux · arm64		 python313Packages.coq-tools a1bab9e494f5
out
/nix/store/x9wvx8zgk7cf976bfg6yxl50xlfrihms-python3.13-coq-tools-0.0.39
dist (not default)
/nix/store/wdp77gdsw07i65ch1yv56i0z7ngqpg3x-python3.13-coq-tools-0.0.39-dist
x86_64-darwin
macOS · x86-64		 python313Packages.coq-tools a1bab9e494f5
out
/nix/store/1m53ys8ppw8n9p36l3fbnc2vgpr07jzk-python3.13-coq-tools-0.0.39
dist (not default)
/nix/store/53cjrzd0dzll2q9b430mkxkjn3p0wz8f-python3.13-coq-tools-0.0.39-dist
x86_64-linux
Linux · x86-64		 python313Packages.coq-tools a1bab9e494f5
out
/nix/store/wn7ca89497vbk88slxhbja26gks7s9yh-python3.13-coq-tools-0.0.39
dist (not default)
/nix/store/m89lra3b6lf54xv9yfr7q3rdmrvg687z-python3.13-coq-tools-0.0.39-dist
← newer: 0.0.42 all 4 releases older: 0.0.36 →

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