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

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python314Packages.coq-tools 4a29d733e8a7
out
/nix/store/v83g119r4200cfbm7z4wwlxdh22pazgg-python3.14-coq-tools-0.0.42
dist (not default)
/nix/store/5qj7maq12kvvql8gfmwm2ybqq2kfpnvi-python3.14-coq-tools-0.0.42-dist
aarch64-linux
Linux · arm64		 python314Packages.coq-tools 4a29d733e8a7
out
/nix/store/68as0f0xq0c7j9i52gj6wfdf4622yfw4-python3.14-coq-tools-0.0.42
dist (not default)
/nix/store/h88cp6cszlvkz1f03r8r9dx9n6km657x-python3.14-coq-tools-0.0.42-dist
x86_64-darwin
macOS · x86-64		 python314Packages.coq-tools 4a29d733e8a7
out
/nix/store/qdq9a5f7hsca6qr5w8f3385il4ym5ma3-python3.14-coq-tools-0.0.42
dist (not default)
/nix/store/sclcipls9v7g25idhc35d88dkhjhihxj-python3.14-coq-tools-0.0.42-dist
x86_64-linux
Linux · x86-64		 python314Packages.coq-tools 4a29d733e8a7
out
/nix/store/qz3rych2095mqh332j9b1s1s4h0616z0-python3.14-coq-tools-0.0.42
dist (not default)
/nix/store/kgmjf3svdlidik9vhnrqzlnp1xcb2ijm-python3.14-coq-tools-0.0.42-dist
← newer: 0.0.44 all 3 releases older: 0.0.39 →

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