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

trealla: 2.30.7 -> 2.31.6
This commit is contained in:
Weijia Wang 2023-12-10 00:55:31 +01:00 committed by GitHub
commit 9f9e9980b6
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.30.7";
version = "2.31.6";
src = fetchFromGitHub {
owner = "trealla-prolog";
repo = "trealla";
rev = "v${finalAttrs.version}";
hash = "sha256-W0hcIeWbgORWBYuNbVJRA8NNnuBEG8HMLeVBxXtd2VQ=";
hash = "sha256-gptWmATDwcSOUE5YYLEi6r/gVIVk0+nCeynxhD1ra/c=";
};
postPatch = ''