{"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":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"tex","path":"/nix/store/054dy8vff0q32v9hb8iyhp65nilq51i6-temporal-logic-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/1sqvxhfns31kza3i9drgqym5xvimmrcn-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":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"tex","path":"/nix/store/qsaigxn7p47ay75vh828mpf9x9416yzs-temporal-logic-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/irn63ib1sly2mim717avzli5j7qnjldh-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":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"tex","path":"/nix/store/cdgwkcq6vbq4fm9kbgfxsdj3083qwwrp-temporal-logic-1.1-tex","default":true},{"name":"texdoc","path":"/nix/store/sirb3kmajhrpqbwndi3a3zsrznx2pk6d-temporal-logic-1.1-texdoc"},{"name":"texsource","path":"/nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource"}]}}}