prooftree 0.14
Program for proof-tree visualization
Linux and macOS
last changed
Pin this version
$ devbox add prooftree@0.14
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#prooftree
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#prooftree
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
prooftree |
02f5696b0e60 | out/nix/store/bi0286fqzacnchlsyqnfw63fjg7hainm-prooftree-0.14 |
||
aarch64-linuxLinux · arm64 |
prooftree |
02f5696b0e60 | out/nix/store/49vawq9nvf3sd5wi1w5zzsjk494xv678-prooftree-0.14 |
||
x86_64-darwinmacOS · x86-64 |
prooftree |
3d46470bb303 | out/nix/store/a7sasfnmmaph45ibi1p70vbkxlrjr044-prooftree-0.14 |
||
x86_64-linuxLinux · x86-64 |
prooftree |
02f5696b0e60 | out/nix/store/s0draj8jbsmlldkxc8x2ggyya4ppgk0z-prooftree-0.14 |
JSON: /v2/pkg?name=prooftree · /v2/resolve?name=prooftree&version=0.14