diff --git a/build/pkgs/fricas/checksums.ini b/build/pkgs/fricas/checksums.ini
index 346e83e4e01..7bf2a48471b 100644
--- 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
index c04c650a7ad..1892b926767 100644
--- 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
deleted file mode 100644
index a71f727e7df..00000000000
--- a/build/pkgs/fricas/patches/uffi.patch
+++ /dev/null
@@ -1,51 +0,0 @@
---- a/src/lisp/fricas-lisp.lisp
-+++ b/src/lisp/fricas-lisp.lisp
-@@ -556,10 +556,10 @@ with this hack and will try to convince the GCL crowd to fix this.
-                     (dolist (el strs)
-                         (setf wrapper `(FFI:WITH-CSTRING ,el ,wrapper)))
-                     (setf wrapper `(defun ,name ,largs ,wrapper))
--                    `(progn (uffi:def-function (,c-name ,sym)
-+                    `(progn (ffi:def-function (,c-name ,sym)
-                                 ,fargs :returning ,l-ret)
-                             ,wrapper))
--                `(uffi:def-function (,c-name ,name)
-+                `(ffi:def-function (,c-name ,name)
-                      ,fargs :returning ,l-ret)))))
- 
- (defmacro fricas-foreign-call (name c-name return-type &rest arguments)
-@@ -788,14 +788,14 @@ with this hack and will try to convince the GCL crowd to fix this.
- #+:ecl
- (progn
- 
--(uffi:def-function ("sock_get_string_buf" sock_get_string_buf_wrapper)
-+(ffi:def-function ("sock_get_string_buf" sock_get_string_buf_wrapper)
-                    ((purpose :int) (buf (:array :unsigned-char 10000)) (len :int))
-                    :returning :void)
- 
- (defun |sockGetStringFrom| (purpose)
--    (uffi:with-foreign-object (buf '(:array :unsigned-char 10000))
-+    (ffi:with-foreign-object (buf '(:array :unsigned-char 10000))
-         (sock_get_string_buf_wrapper purpose buf 10000)
--        (uffi:convert-from-foreign-string buf)))
-+        (ffi:convert-from-foreign-string buf)))
- 
- )
- 
-@@ -825,7 +825,7 @@ with this hack and will try to convince the GCL crowd to fix this.
-   (LISP::defentry |makedir| (LISP::string)         (LISP::int "makedir")))
- 
- #+:ecl
--(uffi:def-function ("directoryp" raw_file_kind)
-+(ffi:def-function ("directoryp" raw_file_kind)
-                    ((arg :cstring))
-                    :returning :int)
- #+:ecl
-@@ -834,7 +834,7 @@ with this hack and will try to convince the GCL crowd to fix this.
-            (raw_file_kind cname)))
- 
- #+:ecl
--(uffi:def-function ("makedir" raw_makedir)
-+(ffi:def-function ("makedir" raw_makedir)
-                    ((arg :cstring))
-                    :returning :int)
-