{"name":"texlivePackages.ebproof","version":"2.1.1","summary":"Formal proofs in the style of sequent calculus","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"texlivePackages.ebproof"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"tex","path":"/nix/store/pbn346nfzdyhc5y1643cpjx7flf3jmlq-ebproof-2.1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/hjphalayl7vhmn32sn91ngy2m492h02s-ebproof-2.1.1-texdoc"},{"name":"texsource","path":"/nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"texlivePackages.ebproof"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"tex","path":"/nix/store/g222xq2zz35jll4kxz2m36q942wkax0n-ebproof-2.1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/hn5w032c5fhkrz9klpd9av2pn3p06c2b-ebproof-2.1.1-texdoc"},{"name":"texsource","path":"/nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"texlivePackages.ebproof"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"tex","path":"/nix/store/jnwm9smhgwv09jj2zp3rvf6zrlxwz167-ebproof-2.1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/0vm498x7j4vk5sn7a21d4p64lcp1c6hj-ebproof-2.1.1-texdoc"},{"name":"texsource","path":"/nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"texlivePackages.ebproof"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"tex","path":"/nix/store/gavccn54clx4skmjq05w06vdm3cyc41x-ebproof-2.1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/wxbbbs9wxbc6ib7mcjsdw0m7fypr3whk-ebproof-2.1.1-texdoc"},{"name":"texsource","path":"/nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource"}]}}}