gh-40544: Update fricas to version 1.3.12
    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes #12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes #12345". -->
Since I found that fricas 1.3.11 is not compatible with gcc 15.1. And
updating to version 1.3.12 is OK.
```
gcc -Wall edible.o e_buf.o edin.o fnct_key.o prt.o wct.o
-L/home/zhongcx/fricas-1.3.11/src/lib -lspad  -g -o
/home/zhongcx/fricas-1.3.11/target/x86_64-linux-gnu/bin/clef
gcc -c -g -O2 -Wall -D_GNU_SOURCE
-I/home/zhongcx/fricas-1.3.11/src/include
-I/home/zhongcx/fricas-1.3.11/config -o spadbuf.o spadbuf.c
spadbuf.c: In function ‘main’:
spadbuf.c:202:11: error: conflicting types for ‘fopen’; have ‘FILE
*(void)’
  202 |     FILE *fopen();
      |           ^~~~~
In file included from spadbuf.c:38:
/usr/include/stdio.h:264:14: note: previous declaration of ‘fopen’ with
type ‘FILE *(const char * restrict,  const char * restrict)’
  264 | extern FILE *fopen (const char *__restrict __filename,
      |              ^~~~~
spadbuf.c: In function ‘interp_io’:
spadbuf.c:129:17: warning: ignoring return value of ‘write’ declared
with attribute ‘warn_unused_result’ [-Wunused-result]
  129 |                 write(1, buf, len);
      |                 ^~~~~~~~~~~~~~~~~~
make[2]: *** [Makefile:233: spadbuf.o] Error 1
make[2]: Leaving directory '/home/zhongcx/fricas-1.3.11/src/clef'
make[1]: *** [Makefile:206: all-clef] Error 2
make[1]: Leaving directory '/home/zhongcx/fricas-1.3.11/src'
make: *** [Makefile:247: all-src] Error 2
```
### :memo: Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### :hourglass: Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - #12345: short description why this is a dependency -->
<!-- - #34567: ... -->
    
URL: #40544
Reported by: Chenxin Zhong
Reviewer(s):

Author: Release Manager

build/pkgs/fricas/checksums.ini

@@ -1,4 +1,4 @@
 tarball=fricas-VERSION-full.tar.bz2
-sha1=c5104c92808ff01a02ecdd3f412d44da3b2c21fb
-sha256=32b87461ef079659e97247ad0a771ec8cf0d5a0f934788d67d37fb7acf63f9c4
+sha1=6f700b0d544f3eac26dd38304da46f66a6ba3d62
+sha256=33201f9f56c20b1266d38f5290efe7486a38422ea90f707f0345f6a589e31c8d
 upstream_url=https://github.com/fricas/fricas/releases/download/VERSION/fricas-VERSION-full.tar.bz2

build/pkgs/fricas/package-version.txt

@@ -1 +1 @@
-1.3.11
+1.3.12