{"name":"texlivePackages.temporal-logic","summary":"Symbols for Temporal Logics","description":"This package cannot be installed or used directly. Please use `texlive.withPackages (ps: [ ps.temporal-logic ])`.","homepage_url":"https://ctan.org/pkg/temporal-logic","license":"LPPL-1.3c","attribute_paths":["texlivePackages.temporal-logic"],"releases":[{"version":"1.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"texlivePackages.temporal-logic","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"texlivePackages.temporal-logic","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"texlivePackages.temporal-logic","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"texlivePackages.temporal-logic","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"tex, texdoc, texsource","prerelease":false,"broken":false,"insecure":false},{"version":"1.0","last_updated":"2026-03-02T11:03:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"texlivePackages.temporal-logic","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/51kvg5xilp0ihcam42g8a3hijan7hiv7-temporal-logic-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/a9z1ck8xqa0pk32fz00zwss2lcdpjwl3-temporal-logic-1.0-texdoc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"texlivePackages.temporal-logic","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/pb618wsislmvp34770ljyp5wk6bd0w05-temporal-logic-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/21r8ni7q8sjl864m6awbjm3hvdd56qgc-temporal-logic-1.0-texdoc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"texlivePackages.temporal-logic","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/ivvkkyi0prhpgvs0gxrp7dw5idakflh2-temporal-logic-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/7janwf319bj4m396c1l6vv5lv4wibkzz-temporal-logic-1.0-texdoc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"texlivePackages.temporal-logic","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"tex","path":"/nix/store/78g4b8fpx742p791ikdm5rwzif5val2c-temporal-logic-1.0-tex","default":true},{"name":"texdoc","path":"/nix/store/mbv8ci6sr8164gzw3f0m178r46gyq948-temporal-logic-1.0-texdoc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"tex, texdoc","prerelease":false,"broken":false,"insecure":false}]}