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

python313Packages.coq-tools 0.0.42

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.42
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit4a29d733e8a7d5b824c3d8c958a946a9867b3eb2 
$ nix shell github:NixOS/nixpkgs/4a29d733e8a7d5b824c3d8c958a946a9867b3eb2#python313Packages.coq-tools

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.coq-tools 4a29d733e8a7
out
/nix/store/qjygxl1a3c0w654ndymshyc20jcw2n5j-python3.13-coq-tools-0.0.42
dist (not default)
/nix/store/h1dx3nax9f2asxjnbggmdm1wk5m6ay59-python3.13-coq-tools-0.0.42-dist
aarch64-linux
Linux · arm64		 python313Packages.coq-tools 4a29d733e8a7
out
/nix/store/sm2xs1wsk4f4xp6nnlb05na7vwg8s7k4-python3.13-coq-tools-0.0.42
dist (not default)
/nix/store/8ka4ga1x720hw4ci4ywkvk90c3qzsna5-python3.13-coq-tools-0.0.42-dist
x86_64-darwin
macOS · x86-64		 python313Packages.coq-tools 4a29d733e8a7
out
/nix/store/ykrvqpc12cridcdvwxvwfjbx5sjid0sd-python3.13-coq-tools-0.0.42
dist (not default)
/nix/store/9xmhknffa8p5i6k76v62j2hh6a8c61w4-python3.13-coq-tools-0.0.42-dist
x86_64-linux
Linux · x86-64		 python313Packages.coq-tools 4a29d733e8a7
out
/nix/store/z3s4mw59xz61apcwzbz2k3wmph6l111x-python3.13-coq-tools-0.0.42
dist (not default)
/nix/store/v123bg49a4dgfjsa0iqcmg3pfai8pyw0-python3.13-coq-tools-0.0.42-dist
← newer: 0.0.44 all 4 releases older: 0.0.39 →

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