nixsearch / pkg / texlivePackages.temporal-logic / 1.0
texlivePackages.temporal-logic 1.0
Symbols for Temporal Logics
Linux and macOS
last changed
outputs: tex, texdoc
Pin this version
$ devbox add texlivePackages.temporal-logic@1.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitdc7513872406b53d2ff417a003895d6daffdff2f
$ nix shell github:NixOS/nixpkgs/dc7513872406b53d2ff417a003895d6daffdff2f#texlivePackages.temporal-logic
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
texlivePackages.temporal-logic |
dc7513872406 | tex/nix/store/51kvg5xilp0ihcam42g8a3hijan7hiv7-temporal-logic-1.0-tex texdoc (not default)/nix/store/a9z1ck8xqa0pk32fz00zwss2lcdpjwl3-temporal-logic-1.0-texdoc |
||
aarch64-linuxLinux · arm64 |
texlivePackages.temporal-logic |
dc7513872406 | tex/nix/store/pb618wsislmvp34770ljyp5wk6bd0w05-temporal-logic-1.0-tex texdoc (not default)/nix/store/21r8ni7q8sjl864m6awbjm3hvdd56qgc-temporal-logic-1.0-texdoc |
||
x86_64-darwinmacOS · x86-64 |
texlivePackages.temporal-logic |
dc7513872406 | tex/nix/store/ivvkkyi0prhpgvs0gxrp7dw5idakflh2-temporal-logic-1.0-tex texdoc (not default)/nix/store/7janwf319bj4m396c1l6vv5lv4wibkzz-temporal-logic-1.0-texdoc |
||
x86_64-linuxLinux · x86-64 |
texlivePackages.temporal-logic |
dc7513872406 | tex/nix/store/78g4b8fpx742p791ikdm5rwzif5val2c-temporal-logic-1.0-tex texdoc (not default)/nix/store/mbv8ci6sr8164gzw3f0m178r46gyq948-temporal-logic-1.0-texdoc |
JSON: /v2/pkg?name=texlivePackages.temporal-logic · /v2/resolve?name=texlivePackages.temporal-logic&version=1.0