{"name":"texlivePackages.bussproofs","version":"1.1","summary":"Proof trees in the style of the sequent calculus","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"texlivePackages.bussproofs"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"tex","path":"/nix/store/s08b9qlqja6facd6sl68rldpzbi380b4-bussproofs-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/x14qcfm36jqnd01zirj2dlwasbsz3w5f-bussproofs-1.1-texdoc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"texlivePackages.bussproofs"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"tex","path":"/nix/store/5xp4dmgg87a87hfh7rahbkyd8zqb99xp-bussproofs-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/fbcw1vf4ymv387x0cz6bmsksn7g19rkm-bussproofs-1.1-texdoc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"texlivePackages.bussproofs"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"tex","path":"/nix/store/7b6k7pp4a2b7bgh0ah35ha4xlb478q2a-bussproofs-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/d9izkidfvj059fcy9zw0xr5zl014ij4x-bussproofs-1.1-texdoc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"texlivePackages.bussproofs"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"tex","path":"/nix/store/df2ci08w45ax4v50q49f11nqlnh10l2n-bussproofs-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/3clhkinfadis4pxbh47183yg435q18b3-bussproofs-1.1-texdoc"}]}}}