{"name":"texlivePackages.lplfitch","version":"0.9","summary":"Fitch-style natural deduction proofs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"texlivePackages.lplfitch"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"tex","path":"/nix/store/78ln1svixhyfr8l6394g34prxx79rffh-lplfitch-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/8mnwbyv1viqikky7xxprfc57h1n8d4jg-lplfitch-0.9-texdoc"},{"name":"texsource","path":"/nix/store/r77cb06swk1kmsrpm8rvi0sm1bc83d2b-lplfitch-0.9-texsource"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"texlivePackages.lplfitch"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"tex","path":"/nix/store/x5ph472nqh2jv38zrqcs5pwdn7f6ajc8-lplfitch-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/zi71xhjacx63wh4l5cnfwbqv1fvcmjg2-lplfitch-0.9-texdoc"},{"name":"texsource","path":"/nix/store/r77cb06swk1kmsrpm8rvi0sm1bc83d2b-lplfitch-0.9-texsource"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e8273b29fe1390ec8d4603f2477357555291432e"},"attr_path":"texlivePackages.lplfitch"},"last_updated":"2026-07-01T15:14:03Z","outputs":[{"name":"tex","path":"/nix/store/lairjpyhvk5fvgykxwbfnn584pk9m42m-lplfitch-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/5wgf3rb4mmw3yi533lr62fn4pdn1yx54-lplfitch-0.9-texdoc"},{"name":"texsource","path":"/nix/store/r77cb06swk1kmsrpm8rvi0sm1bc83d2b-lplfitch-0.9-texsource"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"texlivePackages.lplfitch"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"tex","path":"/nix/store/2whbyggjqfpcipv7wn9980gc0f2m9x66-lplfitch-0.9-tex","default":true},{"name":"texdoc","path":"/nix/store/dilliwwy5gkx0v6sbga1pq76fcn6l1if-lplfitch-0.9-texdoc"},{"name":"texsource","path":"/nix/store/r77cb06swk1kmsrpm8rvi0sm1bc83d2b-lplfitch-0.9-texsource"}]}}}