nixsearch / pkg / texlivePackages.prooftrees / 0.8_svn_9582
texlivePackages.prooftrees 0.8_svn_9582
Forest-based proof trees (symbolic logic)
Linux and macOS
last changed
outputs: tex, texdoc
Pin this version
$ devbox add texlivePackages.prooftrees@0.8_svn_9582
$ nix shell github:NixOS/nixpkgs/34a626458d686f1b58139620a8b2793e9e123bba#texlivePackages.prooftrees
$ nix shell github:NixOS/nixpkgs/aebe249544837ce42588aa4b2e7972222ba12e8f#texlivePackages.prooftrees
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
texlivePackages.prooftrees |
34a626458d68 | tex/nix/store/lczy3gxf4vg5ljs9kasidvfpvzhnw3ji-prooftrees-0.8_svn_9582-tex texdoc (not default)/nix/store/lsyxbrwis770bwzf8nmwvc9vjkv83zpx-prooftrees-0.8_svn_9582-texdoc |
||
aarch64-linuxLinux · arm64 |
texlivePackages.prooftrees |
34a626458d68 | tex/nix/store/qkm9dpdh1976q8di8kb1h6mdh0hxypi5-prooftrees-0.8_svn_9582-tex texdoc (not default)/nix/store/m8z72wi2yq3ya3afzngfdl0yx8pgjp96-prooftrees-0.8_svn_9582-texdoc |
||
x86_64-darwinmacOS · x86-64 |
texlivePackages.prooftrees |
34a626458d68 | tex/nix/store/7fk9r9hxjr91a5gywqzx8y67g5mvmhwn-prooftrees-0.8_svn_9582-tex texdoc (not default)/nix/store/ngqh5w14rc5zfw8n6y4mn5vdvlbv2yy8-prooftrees-0.8_svn_9582-texdoc |
||
x86_64-linuxLinux · x86-64 |
texlivePackages.prooftrees |
aebe24954483 | tex/nix/store/nbxadq47vg6kwffdqhvd5icd831wrwj0-prooftrees-0.8_svn_9582-tex texdoc (not default)/nix/store/zhwl01qi87fdgx24jhx9r3p147816w3r-prooftrees-0.8_svn_9582-texdoc |
JSON: /v2/pkg?name=texlivePackages.prooftrees · /v2/resolve?name=texlivePackages.prooftrees&version=0.8_svn_9582