nixsearch / pkg / haskellPackages.logic-TPTP / 0.5.0.0
haskellPackages.logic-TPTP 0.5.0.0
Import, export etc. for TPTP, a syntax for first-order logic
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.logic-TPTP@0.5.0.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita343533bccc62400e8a9560423486a3b6c11a23b
$ nix shell github:NixOS/nixpkgs/a343533bccc62400e8a9560423486a3b6c11a23b#haskellPackages.logic-TPTP
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.logic-TPTP |
a343533bccc6 | out/nix/store/9dgrnb8mv0p6wvygimmfmmjr1wg7kpc0-logic-TPTP-0.5.0.0 doc (not default)/nix/store/xh3a8j81wrd33cplpbginyjk67vy7m0q-logic-TPTP-0.5.0.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.logic-TPTP |
a343533bccc6 | out/nix/store/r520fa50jwkak3rsx8bzmz8zx0l3ygqj-logic-TPTP-0.5.0.0 doc (not default)/nix/store/gyqskndwlnf2lvrd850q3sz521iij0gi-logic-TPTP-0.5.0.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.logic-TPTP |
a343533bccc6 | out/nix/store/aqxc0cqvzpkaa3phshcyyh944293hjq5-logic-TPTP-0.5.0.0 doc (not default)/nix/store/njhx4q4x84w8119bld1i3sxls0q29aim-logic-TPTP-0.5.0.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.logic-TPTP |
a343533bccc6 | out/nix/store/kdgcij6w4lvzfrsr76zh1mkghn45jn1l-logic-TPTP-0.5.0.0 doc (not default)/nix/store/pmwy0fzqz5yjy78h3bqi5f6c93xjb62w-logic-TPTP-0.5.0.0-doc |
JSON: /v2/pkg?name=haskellPackages.logic-TPTP · /v2/resolve?name=haskellPackages.logic-TPTP&version=0.5.0.0