Back to fricas PTS page

Accepted fricas 1.3.8-7 (source) into unstable



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

Format: 1.8
Date: Thu, 08 Jun 2023 10:04:06 -0400
Source: fricas
Architecture: source
Version: 1.3.8-7
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 1037181
Changes:
 fricas (1.3.8-7) unstable; urgency=medium
 .
   * Build depend on libxpm-dev, xvfb in place of libx11-dev.
   * Bug fix: "viewman and hypertex are not present in packages", thanks to
     Uwe Krüger (Closes: #1037181).
Checksums-Sha1:
 ac26a174468bd0004c05b5f304a256dfddb781d0 2356 fricas_1.3.8-7.dsc
 95d62c6c8e291fd29fa8cddb7a4704ad5654395b 245312 fricas_1.3.8-7.debian.tar.xz
 838681ae08373cbe187b31e730e0c589775df6c7 11219 fricas_1.3.8-7_source.buildinfo
Checksums-Sha256:
 6f7dee6a810ae486dff1c07d603606f2b9f58e2624a1a9d97fdc09e0ff5b22c4 2356 fricas_1.3.8-7.dsc
 b74b14b976531a20819fa6f8837ec15ed2a9d7d8c0a1c6eb1cb521092a78dfb4 245312 fricas_1.3.8-7.debian.tar.xz
 b77b6f0243e4d07ad71564e676cf88f0dbb9e06042d91ac3a0a4373ffb194d63 11219 fricas_1.3.8-7_source.buildinfo
Files:
 d3d78cc4d184755dfda054570957aca8 2356 math optional fricas_1.3.8-7.dsc
 f072a6b5106bc84334080f5c1791404b 245312 math optional fricas_1.3.8-7.debian.tar.xz
 ebc87394891d27d07e5371bb380b2151 11219 math optional fricas_1.3.8-7_source.buildinfo

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmSB/hkACgkQuEXOUQ+b
cU2/GQ/+MIS1wzfNwdHEd1VUkP4p4V+NZ0A0MHp1s8U+GjlBf8+/lRgKiMwej2Ds
owyfERQBh5UQFXk+cwNt59qNJHl9wh8MRtph8UL9I8GoHk0mC5RITHgkopp4b72M
vliQrQci3S0Ab+wUuhSn+hluvvFDcEbPufyJUWPYV21oQSmK/l1JMxuA63By4Nfo
8k61vYRHJi1Xx+Q/5/Ogc+nMDeNARNXAQz9rT86tZJRYlAlH9DFBMulhK9aU8yfY
MARMbjInukcc9dvl2NnkV4EXZzZ0YcYzvAUroxI0NWRCeE+1VIu2h4DhJxU9RLSJ
bYyEDU6zxrm2gvgbakAFebAi7kh0Znd8ZwAtvpeJhsb+ArWUouJ9dCtT+nDWe+TE
jKnKByRfvVb8ihfn+o1ahBGNyAXHDwPBjTokbK2le93g4MEqX9HlR8tOBBDrnFBd
Rlurw7rG+lU7t1vh25a+LFmAkuSMzKp5RndIUR+j/GGozOm5Mt+xWPP4Ky6pon5B
93BlIJjPnPJE1sVk8UB8H0zPkhK1y8/Dq5y9UGiHEZbvsV/mDdc4EzfV5HOkfGh7
lq+2f0TrQ8nxGojlrMgAQWH5B/+AXE60Ka6AYuFI/WOLsVjl+S1XddZAzslgzmHw
r4wubk9IB8tv5f6KuxJSte98F5XFtqd0mfr0NNhDFEDrZl/BJc8=
=yLVm
-----END PGP SIGNATURE-----