Accepted fricas 1.3.11-5 (source) into unstable

[Debian FTP Masters <ftpmaster@ftp-master.debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 21 Sep 2025 16:15:35 -0400
Source: fricas
Architecture: source
Version: 1.3.11-5
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 1114109
Changes:
 fricas (1.3.11-5) unstable; urgency=medium
 .
   * Bug fix: "FTBFS: spadbuf.c:202:11: error: conflicting types for
     &#39;fopen&#39;; have &#39;FILE *(void)&#39;", thanks to Santiago Vila
     (Closes: #1114109).
Checksums-Sha1:
 9c62f2a9dc215d59b6c1ec8de007500827db4e40 2366 fricas_1.3.11-5.dsc
 411c1ccea9062aec139eb81f21cf0c32e405ea89 261852 fricas_1.3.11-5.debian.tar.xz
 c93bffc0b9a780b7dd9b727224cb40376dbedab8 7855 fricas_1.3.11-5_source.buildinfo
Checksums-Sha256:
 67e1b51bcbf02cfa0affa2d020aaa2c5ef1684662540c26693a931d0af6b2bc9 2366 fricas_1.3.11-5.dsc
 e99d829f1b6923e4c869f7ca1706970288043003323be0e12465e04a3a2d39ef 261852 fricas_1.3.11-5.debian.tar.xz
 3a1a59e8a6f2e38e17b15bb422da4c16c85cf5d2140b3bb13a8042e127b734c6 7855 fricas_1.3.11-5_source.buildinfo
Files:
 db25d1f2ab8d2cd158468ec30953d01e 2366 math optional fricas_1.3.11-5.dsc
 092d8ec9ea07f59a02f5e85e7f249035 261852 math optional fricas_1.3.11-5.debian.tar.xz
 5bd522fdc076bc60848f09b166b9f0f4 7855 math optional fricas_1.3.11-5_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmjQXe0ACgkQuEXOUQ+b
cU0qZA/9HjEbQoQPHdmyKJSzrreGgyYLWgoQLN79fsq0qKtkF0R+MJDAlvL3ttiq
BGNCsFERySP1yhG6264Ls2HPSPJ2EcvucANavW50EzHnh85aYVsdwz2n/JPG/R48
kr5IbcYkraM4UywMCny1UhpBccQLhp041hUpHm2YVPmv+HvT+eGzW5Wl2GyNN2BK
j+TdR4sJHzaZ2JZlktaVBVU4a+2uKLUM+rP8LrnPdj8vfNSMBg7BPbjL8tHJ4xKj
fBOLrtvndIQe6XweO3NpkSrvaJ/ZyXjF7KWa+j7GEZu9SDPlr0Ui+DtyJ9zjNB2O
arZthqZH0d4UQbFCKjGXjEWHqCprFKqr+bHgWhFXsN0Q7YeeBhN5TkyAhMff9K5H
qiS0D+cLCMJxwIFAg62QRI1Tg1kOyg5cTHm+frVWaCLk9pqrTNuHqRhszxYmWJBG
6D/Ugve0aJP2InZnJdRuGyCe8Mnz/2AfbgwJshpyR+XGoyZHjuMn6EBYvmoOjU0V
fw85n/3jL87hUi963dUtpzwXuZJ0GSZ1eNsnQUWi7Iw1+VOb1c3F+esRo8Mju4rq
pV102hL0B26pnoDPVEuawGjImXg9FWyz7x5NTjUPXyoVHvKzPrxmXFGvf1sbAlTw
J3Jx8aoN/Fg/fZZipRmfcrdENiHHLn420ZYjsodwUwB8poFBKso=
=s6hv
-----END PGP SIGNATURE-----

Attachment: pgpohhwTYFXlQ.pgp
Description: PGP signature