{"name":"texlivePackages.prooftrees","summary":"Forest-based proof trees (symbolic logic)","description":"This package cannot be installed or used directly. Please use `texlive.withPackages (ps: [ ps.prooftrees ])`.","homepage_url":"https://ctan.org/pkg/prooftrees","license":"LPPL-1.3c","attribute_paths":["texlivePackages.prooftrees"],"releases":[{"version":"0.9.3","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"tex, texdoc, texsource","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.2","last_updated":"2026-04-16T08:46:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"tex, texdoc","prerelease":false,"broken":false,"insecure":false},{"version":"0.9","last_updated":"2026-03-02T11:03:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/nwb4hgp18m8bxn8xh0axq6vb729vdcpv-prooftrees-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/crqlzqjgsyb7gncjm2q1c1ynps3zbyzx-prooftrees-0.9-texdoc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/a2ahq4pamzlzi1fvqzfc42iar1fsq08n-prooftrees-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/373643kcpnn2c0ypishk724zi7nimq04-prooftrees-0.9-texdoc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/mdswsd5pqdpjr11kb48zmql7bscs2bhb-prooftrees-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/k3sg9alf9zfsw28fc5zyz213ph05084w-prooftrees-0.9-texdoc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/7ph9hdyaa11qhygpgs97h23109cbj7ip-prooftrees-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/cgdnywlyimvzb3nvr4qgxwvc7i2c6bgz-prooftrees-0.9-texdoc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"tex, texdoc","prerelease":false,"broken":false,"insecure":false},{"version":"0.8_svn_9582","last_updated":"2024-11-16T04:25:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"34a626458d686f1b58139620a8b2793e9e123bba","date":"2024-11-16T04:25:12Z","outputs":[{"name":"tex","path":"/nix/store/lczy3gxf4vg5ljs9kasidvfpvzhnw3ji-prooftrees-0.8_svn_9582-tex","default":true},{"name":"texdoc","path":"/nix/store/lsyxbrwis770bwzf8nmwvc9vjkv83zpx-prooftrees-0.8_svn_9582-texdoc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"34a626458d686f1b58139620a8b2793e9e123bba","date":"2024-11-16T04:25:12Z","outputs":[{"name":"tex","path":"/nix/store/qkm9dpdh1976q8di8kb1h6mdh0hxypi5-prooftrees-0.8_svn_9582-tex","default":true},{"name":"texdoc","path":"/nix/store/m8z72wi2yq3ya3afzngfdl0yx8pgjp96-prooftrees-0.8_svn_9582-texdoc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"texlivePackages.prooftrees","commit_hash":"34a626458d686f1b58139620a8b2793e9e123bba","date":"2024-11-16T04:25:12Z","outputs":[{"name":"tex","path":"/nix/store/7fk9r9hxjr91a5gywqzx8y67g5mvmhwn-prooftrees-0.8_svn_9582-tex","default":true},{"name":"texdoc","path":"/nix/store/ngqh5w14rc5zfw8n6y4mn5vdvlbv2yy8-prooftrees-0.8_svn_9582-texdoc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"texlivePackages.prooftrees","commit_hash":"aebe249544837ce42588aa4b2e7972222ba12e8f","date":"2024-11-10T13:26:24Z","outputs":[{"name":"tex","path":"/nix/store/nbxadq47vg6kwffdqhvd5icd831wrwj0-prooftrees-0.8_svn_9582-tex","default":true},{"name":"texdoc","path":"/nix/store/zhwl01qi87fdgx24jhx9r3p147816w3r-prooftrees-0.8_svn_9582-texdoc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"tex, texdoc","prerelease":false,"broken":false,"insecure":false}]}