Merge pull request #277768 from r-ryantm/auto-update/trealla

trealla: 2.31.6 -> 2.32.13
This commit is contained in:
Nick Cao 2023-12-31 10:43:07 -05:00 committed by GitHub
commit 62749f6cef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -17,13 +17,13 @@
assert lib.elem lineEditingLibrary [ "isocline" "readline" ];
stdenv.mkDerivation (finalAttrs: {
pname = "trealla";
version = "2.31.6";
version = "2.32.13";
src = fetchFromGitHub {
owner = "trealla-prolog";
repo = "trealla";
rev = "v${finalAttrs.version}";
hash = "sha256-gptWmATDwcSOUE5YYLEi6r/gVIVk0+nCeynxhD1ra/c=";
hash = "sha256-Meyy6muzJt/Lg76sa+nwZXCOhfeMTwO4VYTXO/o20XI=";
};
postPatch = ''