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

trealla: 2.28.1 -> 2.28.12
This commit is contained in:
Nick Cao 2023-10-05 14:38:52 -04:00 committed by GitHub
commit 0cb8987b33
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.28.1";
version = "2.28.12";
src = fetchFromGitHub {
owner = "trealla-prolog";
repo = "trealla";
rev = "v${finalAttrs.version}";
hash = "sha256-Wy4FPvBQY2CvpR9QiFbI1wI2ztUAc1XvaOGaGH7SkKs=";
hash = "sha256-uWCpCjYFtK2pNeHHZWhWI6YZ+cllQpkKz//nHracl5s=";
};
postPatch = ''