{"name":"texlivePackages.prooftrees","version":"0.8_svn_9582","summary":"Forest-based proof trees (symbolic logic)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"34a626458d686f1b58139620a8b2793e9e123bba"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"34a626458d686f1b58139620a8b2793e9e123bba"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"34a626458d686f1b58139620a8b2793e9e123bba"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aebe249544837ce42588aa4b2e7972222ba12e8f"},"attr_path":"texlivePackages.prooftrees"},"last_updated":"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"}]}}}