nixsearch / pkg / coqPackages.trakt / 1.0
coqPackages.trakt 1.0
A generic goal preprocessing tool for proof automation tactics in Coq
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.trakt@1.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitfb4debd73182c203a69060cb84e63c9e779c3a49
$ nix shell github:NixOS/nixpkgs/fb4debd73182c203a69060cb84e63c9e779c3a49#coqPackages.trakt
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.trakt |
fb4debd73182 | out/nix/store/f6bj7q0nxzykky7by0fv6lsz5vm776q9-coq8.17-trakt-1.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.trakt |
fb4debd73182 | out/nix/store/c0zz58wpnkwzy819snbd89nbl89kyzy3-coq8.17-trakt-1.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.trakt |
fb4debd73182 | out/nix/store/if1l0ihnl0m5bi87kyv5hxsjppi97ivs-coq8.17-trakt-1.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.trakt |
fb4debd73182 | out/nix/store/ww0g1kyghf3j8xx3y3qi61w43fchyhz6-coq8.17-trakt-1.0 |
JSON: /v2/pkg?name=coqPackages.trakt · /v2/resolve?name=coqPackages.trakt&version=1.0