diff options
author | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2023-04-22 20:22:39 +0100 |
---|---|---|
committer | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2023-04-22 20:22:39 +0100 |
commit | c4b05347015db3eb8ad2f6f67e5b6f5308c3c9f0 (patch) | |
tree | d237dbceb0619a54d8af348ccdfebe2883dde7bd /pkgs/tools/typesetting/tex/texlive/tlpdb.nix | |
parent | 830d948f46bfb971fbb83b52f3dfc3c57baa8d28 (diff) |
texlive: use version info from tlpdb instead of hardcoding
Diffstat (limited to 'pkgs/tools/typesetting/tex/texlive/tlpdb.nix')
-rw-r--r-- | pkgs/tools/typesetting/tex/texlive/tlpdb.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/tools/typesetting/tex/texlive/tlpdb.nix b/pkgs/tools/typesetting/tex/texlive/tlpdb.nix index a3d0f48c92245..f5e78a3704a63 100644 --- a/pkgs/tools/typesetting/tex/texlive/tlpdb.nix +++ b/pkgs/tools/typesetting/tex/texlive/tlpdb.nix @@ -1,4 +1,9 @@ { # no indentation +"00texlive.config" = { + frozen = true; + year = 2022; + revision = 66590; +}; "12many" = { revision = 15878; stripPrefix = 0; |