Merge pull request #251476 from atorres1985-contrib/trealla

trealla: 2.24.21 -> 2.25.2
This commit is contained in:
Franz Pletz 2023-08-26 03:26:59 +02:00 committed by GitHub
commit 8a6e70a19f
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.24.21";
version = "2.25.2";
src = fetchFromGitHub {
owner = "trealla-prolog";
repo = "trealla";
rev = "v${finalAttrs.version}";
hash = "sha256-zpHdZiDtNcQko+gn92fiGWSvYT4aQ4t6nYFwf6zu0cA=";
hash = "sha256-3NBrJFSTcjftvTYn26SMeU2HtR81J2qlDAwAZRdis4M=";
};
postPatch = ''