{"name":"texlivePackages.prooftrees","version":"0.9.3","summary":"Forest-based proof trees (symbolic logic)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"tex","path":"/nix/store/dz0f70wmsd0lp9a5ysasy9dpxg4mq5s8-prooftrees-0.9.3-tex","default":true},{"name":"texdoc","path":"/nix/store/3fzaily4mbxcmxzdlz8c26zm1a0jh8v5-prooftrees-0.9.3-texdoc"},{"name":"texsource","path":"/nix/store/76b8nwl2rvqf7b040avpxjclyxknzbxk-prooftrees-0.9.3-texsource"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"tex","path":"/nix/store/l0fizz7spq2wh31rf3krd1fq8nnnb3sh-prooftrees-0.9.3-tex","default":true},{"name":"texdoc","path":"/nix/store/5830ady2kvn7dk2qzpaznx837a89rarl-prooftrees-0.9.3-texdoc"},{"name":"texsource","path":"/nix/store/76b8nwl2rvqf7b040avpxjclyxknzbxk-prooftrees-0.9.3-texsource"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"tex","path":"/nix/store/r4k8jjphbhbdpzxxn2zmpirzf4mnzd4b-prooftrees-0.9.3-tex","default":true},{"name":"texdoc","path":"/nix/store/13y4mg30m1x1r692dhj0mwh1xpfrk8z9-prooftrees-0.9.3-texdoc"},{"name":"texsource","path":"/nix/store/76b8nwl2rvqf7b040avpxjclyxknzbxk-prooftrees-0.9.3-texsource"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"tex","path":"/nix/store/n5lf83n9gywdksi4npmc9n6r7hlinh9i-prooftrees-0.9.3-tex","default":true},{"name":"texdoc","path":"/nix/store/14hqdmvvl01xszdbrkdhvbwgngiby3p9-prooftrees-0.9.3-texdoc"},{"name":"texsource","path":"/nix/store/76b8nwl2rvqf7b040avpxjclyxknzbxk-prooftrees-0.9.3-texsource"}]}}}