{"name":"texlivePackages.temporal-logic","version":"1.1","summary":"Symbols for Temporal Logics","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"tex","path":"/nix/store/z1j1zf5g2r5j8xcxmv0sxzjyqyrg2jvg-temporal-logic-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/4zhcnpylvladkz8srk1p0xh8ldmbz54l-temporal-logic-1.1-texdoc"},{"name":"texsource","path":"/nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"tex","path":"/nix/store/493fa5p2pn49kkvlkwmim7yvks8saq0q-temporal-logic-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/7rbnqmk11bnfqv2lah8b6c9mqwzvwyci-temporal-logic-1.1-texdoc"},{"name":"texsource","path":"/nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"tex","path":"/nix/store/y46zm4ih51zrwdkydy7hhwv3mmxbr4cv-temporal-logic-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/f4kid1w8nk60g9zd2kq0bvlz6s46r2nf-temporal-logic-1.1-texdoc"},{"name":"texsource","path":"/nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"tex","path":"/nix/store/pa2y0ahsxbfhl4ps1ymh05hhpd0z8772-temporal-logic-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/an682wnpgynkcvgprai3kdxxh0crpplw-temporal-logic-1.1-texdoc"},{"name":"texsource","path":"/nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource"}]}}}