{"name":"texlivePackages.synproof","version":"1.0","summary":"Easy drawing of syntactic proofs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"texlivePackages.synproof"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"tex","path":"/nix/store/nl1shcpfycp8phgfjg7vmndbaiwiam49-synproof-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/8kij31qpz2904z00y03xgb6iyz6w8k80-synproof-1.0-texdoc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"texlivePackages.synproof"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"tex","path":"/nix/store/b26gkk91qynkfqv0jfrbqm86hq88zqf5-synproof-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/cxika96pgjw0s0aasb4bkfjsf6phfmw0-synproof-1.0-texdoc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"texlivePackages.synproof"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"tex","path":"/nix/store/b1zpddiagfgn7mfq0mnvcb87bi1909ns-synproof-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/dz3ap6xrmifhrhy73zwfra0zqf1bbnz2-synproof-1.0-texdoc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"texlivePackages.synproof"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"tex","path":"/nix/store/0lqsvv3vvi2f5apiay19r7sgsx65mcpl-synproof-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/rj0g5fhi4j7irkz0h3n4gwlx91qi8lb8-synproof-1.0-texdoc"}]}}}