{"name":"texlivePackages.prooftrees","version":"0.9.2","summary":"Forest-based proof trees (symbolic logic)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"tex","path":"/nix/store/4jrz478565l250kdpj9qz8n9lj9l7yiw-prooftrees-0.9.2-tex","default":true},{"name":"texdoc","path":"/nix/store/yc4js7jhc19f2ls9hwbqm3hy1ar429y4-prooftrees-0.9.2-texdoc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"tex","path":"/nix/store/rll60xphfz0vxj5j2y5cif729ljjq5vj-prooftrees-0.9.2-tex","default":true},{"name":"texdoc","path":"/nix/store/3q9jh2sjqxv76qwkcmj8vrg81admjsws-prooftrees-0.9.2-texdoc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"tex","path":"/nix/store/n64qyfa0ipdfvz06vx1cm94x3745s4al-prooftrees-0.9.2-tex","default":true},{"name":"texdoc","path":"/nix/store/jcrhqydcjqs14sidm4gjfymkvzi6vp4q-prooftrees-0.9.2-texdoc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"tex","path":"/nix/store/nfd804n3kraqcrhyw587p1v72alqx8h9-prooftrees-0.9.2-tex","default":true},{"name":"texdoc","path":"/nix/store/akvx44pksqm2hwmh8wncv2y3nkywfzl0-prooftrees-0.9.2-texdoc"}]}}}