nixsearch / pkg / texlivePackages.synproof / 1.0
texlivePackages.synproof 1.0
Easy drawing of syntactic proofs
Linux and macOS
last changed
outputs: tex, texdoc
Pin this version
$ devbox add texlivePackages.synproof@1.0
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#texlivePackages.synproof
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#texlivePackages.synproof
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
texlivePackages.synproof |
b6c8664de9b6 | tex/nix/store/nl1shcpfycp8phgfjg7vmndbaiwiam49-synproof-1.0-tex texdoc (not default)/nix/store/8kij31qpz2904z00y03xgb6iyz6w8k80-synproof-1.0-texdoc |
||
aarch64-linuxLinux · arm64 |
texlivePackages.synproof |
b6c8664de9b6 | tex/nix/store/b26gkk91qynkfqv0jfrbqm86hq88zqf5-synproof-1.0-tex texdoc (not default)/nix/store/cxika96pgjw0s0aasb4bkfjsf6phfmw0-synproof-1.0-texdoc |
||
x86_64-darwinmacOS · x86-64 |
texlivePackages.synproof |
3d46470bb303 | tex/nix/store/b1zpddiagfgn7mfq0mnvcb87bi1909ns-synproof-1.0-tex texdoc (not default)/nix/store/dz3ap6xrmifhrhy73zwfra0zqf1bbnz2-synproof-1.0-texdoc |
||
x86_64-linuxLinux · x86-64 |
texlivePackages.synproof |
b6c8664de9b6 | tex/nix/store/0lqsvv3vvi2f5apiay19r7sgsx65mcpl-synproof-1.0-tex texdoc (not default)/nix/store/rj0g5fhi4j7irkz0h3n4gwlx91qi8lb8-synproof-1.0-texdoc |
JSON: /v2/pkg?name=texlivePackages.synproof · /v2/resolve?name=texlivePackages.synproof&version=1.0