{"name":"texlivePackages.ebproof","summary":"Formal proofs in the style of sequent calculus","description":"This package cannot be installed or used directly. Please use `texlive.withPackages (ps: [ ps.ebproof ])`.","homepage_url":"https://ctan.org/pkg/ebproof","license":"LPPL-1.3c","attribute_paths":["texlivePackages.ebproof"],"releases":[{"version":"2.1.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"texlivePackages.ebproof","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"texlivePackages.ebproof","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"texlivePackages.ebproof","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"texlivePackages.ebproof","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"tex, texdoc, texsource","prerelease":false,"broken":false,"insecure":false}]}