nixsearch
nixsearch / pkg / coqPackages.trakt / 1.2

coqPackages.trakt 1.2

A generic goal preprocessing tool for proof automation tactics in Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.trakt@1.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit24fe8bb4f552ad3926274d29e083b79d84707da6 
$ nix shell github:NixOS/nixpkgs/24fe8bb4f552ad3926274d29e083b79d84707da6#coqPackages.trakt

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.trakt 24fe8bb4f552
out
/nix/store/zbqb5syzn5pvql6wsrxp6s4afllq8d1j-coq8.18-trakt-1.2
aarch64-linux
Linux · arm64		 coqPackages.trakt 24fe8bb4f552
out
/nix/store/0icgsmznv074pg4irdgihrgiccp5xz64-coq8.18-trakt-1.2
x86_64-darwin
macOS · x86-64		 coqPackages.trakt 24fe8bb4f552
out
/nix/store/g5jydy0r89apfg0f980qh7q1ai4lpyhc-coq8.18-trakt-1.2
x86_64-linux
Linux · x86-64		 coqPackages.trakt 24fe8bb4f552
out
/nix/store/if9bdbg6arngc3i4j65myf0z4vr45ib9-coq8.18-trakt-1.2
all 2 releases older: 1.0 →

JSON: /v2/pkg?name=coqPackages.trakt · /v2/resolve?name=coqPackages.trakt&version=1.2