texlivePackages.temporal-logic 1.1

Symbols for Temporal Logics

Linux and macOS last changed 2026-09-29 outputs: tex, texdoc, texsource

Pin this version

$ devbox add texlivePackages.temporal-logic@1.1

systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#texlivePackages.temporal-logic

systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d

$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#texlivePackages.temporal-logic

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`texlivePackages.temporal-logic`	b6c8664de9b6	2026-09-29	`tex` /nix/store/054dy8vff0q32v9hb8iyhp65nilq51i6-temporal-logic-1.1-tex `texdoc` (not default) /nix/store/1sqvxhfns31kza3i9drgqym5xvimmrcn-temporal-logic-1.1-texdoc `texsource` (not default) /nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource
`aarch64-linux` Linux · arm64	`texlivePackages.temporal-logic`	b6c8664de9b6	2026-09-29	`tex` /nix/store/qsaigxn7p47ay75vh828mpf9x9416yzs-temporal-logic-1.1-tex `texdoc` (not default) /nix/store/irn63ib1sly2mim717avzli5j7qnjldh-temporal-logic-1.1-texdoc `texsource` (not default) /nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource
`x86_64-darwin` macOS · x86-64	`texlivePackages.temporal-logic`	3d46470bb303	2026-06-27	`tex` /nix/store/y46zm4ih51zrwdkydy7hhwv3mmxbr4cv-temporal-logic-1.1-tex `texdoc` (not default) /nix/store/f4kid1w8nk60g9zd2kq0bvlz6s46r2nf-temporal-logic-1.1-texdoc `texsource` (not default) /nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource
`x86_64-linux` Linux · x86-64	`texlivePackages.temporal-logic`	b6c8664de9b6	2026-09-29	`tex` /nix/store/cdgwkcq6vbq4fm9kbgfxsdj3083qwwrp-temporal-logic-1.1-tex `texdoc` (not default) /nix/store/sirb3kmajhrpqbwndi3a3zsrznx2pk6d-temporal-logic-1.1-texdoc `texsource` (not default) /nix/store/bm0l47mlq0z8cmhjif811r1004bqd66w-temporal-logic-1.1-texsource