texlivePackages.semantic 2.0

Help for writing programming language semantics

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

Pin this version

$ devbox add texlivePackages.semantic@2.0

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

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#texlivePackages.semantic

systemsx86_64-darwin commit19a8a1e6d8b7315b6fd84e5a51977ce6f69d5a5b

$ nix shell github:NixOS/nixpkgs/19a8a1e6d8b7315b6fd84e5a51977ce6f69d5a5b#texlivePackages.semantic

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`texlivePackages.semantic`	b6c8664de9b6	2026-09-29	`tex` /nix/store/7v85sifvqfirkabxnqlbzqzjk0llqlh8-semantic-2.0-tex `texdoc` (not default) /nix/store/acvq8h6b761s81d417d3j7hpq0i38vcs-semantic-2.0-texdoc `texsource` (not default) /nix/store/rfc049q390v17pmy57da01jcibv0rgyv-semantic-2.0-texsource
`aarch64-linux` Linux · arm64	`texlivePackages.semantic`	b6c8664de9b6	2026-09-29	`tex` /nix/store/xgzjlm414w0k22gkqdbjxri780ircss2-semantic-2.0-tex `texdoc` (not default) /nix/store/0hi2x29g9490phfyyp3ayjvsrvgnn2g0-semantic-2.0-texdoc `texsource` (not default) /nix/store/rfc049q390v17pmy57da01jcibv0rgyv-semantic-2.0-texsource
`x86_64-darwin` macOS · x86-64	`texlivePackages.semantic`	19a8a1e6d8b7	2026-07-04	`tex` /nix/store/3gf6dn70h08543pwhcvn2zhsm0793f9y-semantic-2.0-tex `texdoc` (not default) /nix/store/z21v2p5mnr4a7jgxm5lqgq464r9gllgl-semantic-2.0-texdoc `texsource` (not default) /nix/store/rfc049q390v17pmy57da01jcibv0rgyv-semantic-2.0-texsource
`x86_64-linux` Linux · x86-64	`texlivePackages.semantic`	b6c8664de9b6	2026-09-29	`tex` /nix/store/5jlqhw9jawij312mjhwr2gan07zvam74-semantic-2.0-tex `texdoc` (not default) /nix/store/j0mdd1fx9gngr56pr521j1sjvlsr7fjy-semantic-2.0-texdoc `texsource` (not default) /nix/store/rfc049q390v17pmy57da01jcibv0rgyv-semantic-2.0-texsource