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

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python314Packages.coq-tools a1bab9e494f5
out
/nix/store/njsrdzxz58xhkpax1gsnv24rgxv1nslj-python3.14-coq-tools-0.0.39
dist (not default)
/nix/store/xg8fjdwaj0k4psb4v6wpbspaq8w318s7-python3.14-coq-tools-0.0.39-dist
aarch64-linux
Linux · arm64		 python314Packages.coq-tools a1bab9e494f5
out
/nix/store/rvh17vm2c15pbja07jl8fmxirjpv7kya-python3.14-coq-tools-0.0.39
dist (not default)
/nix/store/47pkjrsv6fkri4nfd7b7sqq5vv76r6sq-python3.14-coq-tools-0.0.39-dist
x86_64-darwin
macOS · x86-64		 python314Packages.coq-tools a1bab9e494f5
out
/nix/store/6r7fxid5s92ypj9m94dx0rr7sqqp0cq9-python3.14-coq-tools-0.0.39
dist (not default)
/nix/store/dgb87r72grwc7jwx991cbvnagzb8g14s-python3.14-coq-tools-0.0.39-dist
x86_64-linux
Linux · x86-64		 python314Packages.coq-tools a1bab9e494f5
out
/nix/store/zr328g8v38yrnwgz4n5lwqazcgarg6iz-python3.14-coq-tools-0.0.39
dist (not default)
/nix/store/0fxx0v8lp56p0g0i063dk9dj54014byk-python3.14-coq-tools-0.0.39-dist
← newer: 0.0.42 all 3 releases

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