Merge pull request #173061 from marsam/fix-sile-build

sile: fix build
This commit is contained in:
Mario Rodas 2022-05-14 15:21:27 -05:00 committed by GitHub
commit 8dadf69c77
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10281,7 +10281,7 @@ with pkgs;
silc_server = callPackage ../servers/silc-server { };
sile = callPackage ../tools/typesetting/sile {
lua = lua5_4;
lua = lua5_3;
};
silver-searcher = callPackage ../tools/text/silver-searcher { };