prooftree 0.13
Program for proof-tree visualization
Linux and macOS
last changed
Pin this version
$ devbox add prooftree@0.13
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4
$ nix shell github:NixOS/nixpkgs/4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4#prooftree
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
prooftree |
4a3fc4cf736b | out/nix/store/wvwnp261xjnavawcw8gjy3q2dz9iy6p6-prooftree-0.13 |
||
aarch64-linuxLinux · arm64 |
prooftree |
4a3fc4cf736b | out/nix/store/siwkf9r7dynhwdw17khazsq36692bdwz-prooftree-0.13 |
||
x86_64-darwinmacOS · x86-64 |
prooftree |
4a3fc4cf736b | out/nix/store/5dqbicfxf5l8m05gkwsba1fc9n3cv6yy-prooftree-0.13 |
||
x86_64-linuxLinux · x86-64 |
prooftree |
4a3fc4cf736b | out/nix/store/1n22whl50qgpkpvcqhdip0k8s58wpj9z-prooftree-0.13 |
JSON: /v2/pkg?name=prooftree · /v2/resolve?name=prooftree&version=0.13