diff --git a/build/pkgs/fricas/checksums.ini b/build/pkgs/fricas/checksums.ini index 1790c649eb3..183c35bb94d 100644 --- a/build/pkgs/fricas/checksums.ini +++ b/build/pkgs/fricas/checksums.ini @@ -1,4 +1,4 @@ tarball=fricas-VERSION-full.tar.bz2 -sha1=2f1e1bbbad7e04a7114ffbd93eeedadc5db32272 -sha256=fc2112ad45ba7b45ac423165f32bd5b244622107a1e4e1d56b9136f96746f2a0 +sha1=c5104c92808ff01a02ecdd3f412d44da3b2c21fb +sha256=32b87461ef079659e97247ad0a771ec8cf0d5a0f934788d67d37fb7acf63f9c4 upstream_url=https://github.com/fricas/fricas/releases/download/VERSION/fricas-VERSION-full.tar.bz2 diff --git a/build/pkgs/fricas/package-version.txt b/build/pkgs/fricas/package-version.txt index 0c00f610817..17e63e7affd 100644 --- a/build/pkgs/fricas/package-version.txt +++ b/build/pkgs/fricas/package-version.txt @@ -1 +1 @@ -1.3.10 +1.3.11