update fricas to 1.3.2

sagemath · Sep 5, 2017 · 8aa26de · 8aa26de
1 parent 037272c
commit 8aa26de
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 55 deletions.
diff --git a/build/pkgs/fricas/checksums.ini b/build/pkgs/fricas/checksums.ini
@@ -1,4 +1,4 @@
 tarball=fricas-VERSION-full.tar.bz2
-sha1=f476a535ba189658cbc6055a951867c0c23787e4
-md5=1850f25249ed238203b9519c522d1795
-cksum=2721391206
+sha1=8fc3e850a9890eac21cd9f391dd58000b3537067
+md5=0d3af65758ce93b1cc52c2511e73e674
+cksum=1048748907
diff --git a/build/pkgs/fricas/package-version.txt b/build/pkgs/fricas/package-version.txt
@@ -1 +1 @@
-1.2.7
+1.3.2
diff --git a/build/pkgs/fricas/patches/uffi.patch b/build/pkgs/fricas/patches/uffi.patch