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

Format: 3.0 (quilt)
Source: fricas
Binary: fricas, fricas-source, fricas-test, fricas-doc, fricas-databases, fricas-graphics, fricas-graphics-data, fricas-hypertex, fricas-hypertex-data, elpa-fricas
Architecture: any all
Version: 1.3.8-3
Maintainer: Camm Maguire <camm@debian.org>
Homepage: http://fricas.sourceforge.net/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.13-2)
Build-Depends-Indep: dh-elpa, sharutils
Package-List:
 elpa-fricas deb lisp optional arch=all
 fricas deb math optional arch=any
 fricas-databases deb math optional arch=all
 fricas-doc deb doc optional arch=all
 fricas-graphics deb math optional arch=any
 fricas-graphics-data deb math optional arch=all
 fricas-hypertex deb math optional arch=any
 fricas-hypertex-data deb math optional arch=all
 fricas-source deb math optional arch=all
 fricas-test deb math optional arch=all
Checksums-Sha1:
 6f2c1ae5eb71daab871d1814b26f596363c8e925 10878913 fricas_1.3.8.orig.tar.bz2
 d23a82dee5d577cc9361ebcafb7f21da8aaec5f4 245140 fricas_1.3.8-3.debian.tar.xz
Checksums-Sha256:
 6a60063cb428ef49ca013c9933b877c97e66314c42c0e1706ff7d32160798544 10878913 fricas_1.3.8.orig.tar.bz2
 4a5786d49aebd2bdc8cee0acca0b32ccbeb85eb7992af453464860f71f5aebe6 245140 fricas_1.3.8-3.debian.tar.xz
Files:
 504b431c39e498527e6f9c739c973488 10878913 fricas_1.3.8.orig.tar.bz2
 8d9124a2fc60081a34148ff97fbb4b1a 245140 fricas_1.3.8-3.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOjZEcACgkQuEXOUQ+b
cU2NKA/9FXy3lLGvOHQEEpL+pRFF/3s+zLhIbCZEz2uW1fn1KxcZX+36i83BdXW7
vxQz2y+dPA/TrPILpHgsY11NaK6Lf9TLS2rnyl+V0h4gQRmEr1AtzF+krSeOkQBg
fJPnGT/HjMvn92ncpZxPM00thYrH0x7NwOPaeC5PE3DajSJNqXlEuC0R67gz2DrZ
1lf8O94qAcT63owuJ6aETT9dZei8x5HjWMOPQ8Lz3PIbr7V0ESm0Y704k4KN0MUa
I62h75FhxOguQRGt1XcCCfKOLuf8iD4oH/UYtuhsAEe+JFyjv44Qt6G1UOr5DuXR
0cAtC9ZZVk2TBGF5xJdoUoBVXb2maghICTr5hxPWYYho+X7VydoMsWwcQrC3JjV1
V4/DOWqoxmNuLtpWRfipLQU437dxtn1u19DT3GBVTm4flifCiINjU26xmLDu8n5S
xSTrjUXSfU4E3IDdY45ySeeY/x7XcefHCdnJHg15erysmSernMTxHIaNRAnGCU/G
qoXFQQ+T+Ueboogw1/pNz5wOXX8AUWey3QLd8uDz2mc66yHChCvuGTx9NZ6BAlgB
Ljtd4Py92hlXa7tv9sjfv/ArzqQMwyQlcdlVYknrZDukJKhAjLs2KxKoyiQ0nQh7
pNmPWkwj+6r1FZSAmoyP60lCq+/ANcJAqyOL87VXQiBCAeR05Go=
=o5rU
-----END PGP SIGNATURE-----