Accepted fricas 1.3.13-1 (source) into unstable

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

Format: 1.8
Date: Mon, 08 Jun 2026 08:18:36 -0400
Source: fricas
Architecture: source
Version: 1.3.13-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
 fricas (1.3.13-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 59a5ecb8a8a7365fee30d6884913f204d6725af1 2366 fricas_1.3.13-1.dsc
 f0be0af52a377321508ac0b891b0cec1e3786c4e 10997314 fricas_1.3.13.orig.tar.bz2
 2e2f8f6532c1bf516eb69a8d3e7dfeac7f2839b4 262212 fricas_1.3.13-1.debian.tar.xz
 dcc1c5299ba5aad3c4ec1e7753254b998c6ae823 7992 fricas_1.3.13-1_source.buildinfo
Checksums-Sha256:
 85aead8472aafceb6049a8500e94a24280e46cdd61c9ce32296783da468587fd 2366 fricas_1.3.13-1.dsc
 dd4d5e06db0ba4a43a5bfb64e94f6c8d4b10e68ac65a77556891a6b24af148a2 10997314 fricas_1.3.13.orig.tar.bz2
 09523ba9702ed6b613868c7a6d8036e1aa0db767ec9bcb4b96cdda6776b6bca6 262212 fricas_1.3.13-1.debian.tar.xz
 566a9492d95df3ba0017db54fdd34b30d418540ae1e2df3b09785ac4d8e8ec91 7992 fricas_1.3.13-1_source.buildinfo
Files:
 db0eb3277db3ef7f053601beada610f0 2366 math optional fricas_1.3.13-1.dsc
 1d076cc209fbaf5bf2dc67096da2552c 10997314 math optional fricas_1.3.13.orig.tar.bz2
 e2779ccf061902024d43ed186011b7ea 262212 math optional fricas_1.3.13-1.debian.tar.xz
 636cf0da6b124c2ac3de8b2d4ed8c2b9 7992 math optional fricas_1.3.13-1_source.buildinfo

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmomxFsACgkQuEXOUQ+b
cU0sZhAAgVjsPMOz2grzuJgPFgIBYTRamsRMNCHDsWocO4dXzzAAtTq7sRRTsitA
jnm5lDxDa7uBAEcN5PCuuxPZwzeQ5mWcOjMZUdVoX1yjInnn0h/pWRQKPEAohFg3
HbtZZSHLx9W3FLejbUv7tJbgVABbkci9Hn24uNpk5qvgNsm81EhXciVtOqWPfcBq
7vXQ2XKJkR9Ggs8jCrOYHhViXe+gx7JnZZiu7yedE3Uj1RhenfGTosK17YEOqpyI
UZkzd1swFHnSoeeEczHi9Ew8o144dHI4C7D2bMXG2osp2Oe/X2qSEIvnBnjzDnfB
kyzu51R90QsdqxWAEBWHLftJa/uWmEBsE24rJfCvgCSg/4iEAJTIAx4YEm0TxrJq
JXIE0rXOZOjz55mjp6s2JZtTDfoBM/UEzyXiLRyuEcRWoIQKCJFzk9jNmhquJPe/
Zwfq2zNQuo1h+/CbVSpqt49+9Fx4qguUlaVEIJ26eQNy01K8ld1wJTWZusblw/5n
fgN2kjyediSlC1BnnAf8LKiJAfkyYAaoXg+LGVD2YonxkMFgXykgPGZ9TouUkKfl
zu+CsAxnoyTKI5CpOPE2sPAd5uVWs1m0bXJ9F0nAkFVeOGYPyXBkgLES021aIswZ
ikovC32FKjcziSKe/HVNfocV/fcQ0GUza2kKlrwU+muYXGXbO1c=
=Sf2F
-----END PGP SIGNATURE-----