{"name":"texlivePackages.temporal-logic","version":"1.0","summary":"Symbols for Temporal Logics","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"texlivePackages.temporal-logic"},"last_updated":"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"}]}}}