-----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.7-2
Maintainer: Camm Maguire <camm@debian.org>
Homepage: http://fricas.sourceforge.net/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.12-99), libgmp3-dev, libreadline-dev, libxpm-dev
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:
 cc0df61bc2a0ffac91cb8fded819447f5bc01585 10859960 fricas_1.3.7.orig.tar.bz2
 2624ce6913622449c7d7530bac3ab476aa3fcf07 64844 fricas_1.3.7-2.debian.tar.xz
Checksums-Sha256:
 70ea8cbd27b779ffd9795cb9723fd553f69346dc607f165f45b1389561394d4e 10859960 fricas_1.3.7.orig.tar.bz2
 9c15e15f82c524ce9b6d0cd38b00a6d53d61b8dcfee848c18870fbdc12320ab8 64844 fricas_1.3.7-2.debian.tar.xz
Files:
 00f71781578762257e20d8475753a6cc 10859960 fricas_1.3.7.orig.tar.bz2
 7d71d662f6e0e0469b219f3c36fd0120 64844 fricas_1.3.7-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmE02A4ACgkQuEXOUQ+b
cU1R7A/8CqoHig6K3qu002NMWdOW+odSKFhafZB9KruuOrj0VnPk+8SIwaiMxzB2
UMOstm+8zLFGTCYT0mpqORDMjBzcs7wiQmwge/Fy9h7B+EG7Nn2vq6ec7YFhml2O
qvJN3Z53EKyMYQ4k9S6u1jyckCbOhR4BBkGdA0zjl+oWvGjg06Papxhei8ZiTtZE
hlJpIc1JEoNR+UyYdwznX5iHkINBHtVa58QFdxf32BETg9COmFS0SFPeLT6VWA2n
e3VQJW4e+inFhNa0upE+g20+wDCBbMit+a3FTk+/cQPrWTdGBNIPseCfbzsH5J9M
c/KNOi8iY0HTEcTUgXWxSAqGnth8TlHRrYlJcUdnyKylSJ3Mn+qPQvGnc7L6fR5Q
5/CLjfEr46VBkSwhf61lhlifGWR2IUBFJCjoZXNVZGKqIFTss9cnjTluO7qRssSy
G+3P/xsHKgYaGCvSlD7Mx+OI6hQiuJpPYHW1sWpoc/vpWVNhpTQ9ADIw+Ne2mOg2
KksXUN7peAC/fBYlrzsBT2dyOpnoyFOLlwjCA4Nt4oAdl/Jca0mXnAblOzwIryVK
sQvy/LoDp20UKwZ+uCr+I5J+geliM6o+CPZzhqBF9MJCRqZbfHSXT6YSUrvIFPIZ
K6LJ6ECPo5DXtllmaNRv17hHImS9IrJvUUKFS6dfnqka16FcSvY=
=sPBI
-----END PGP SIGNATURE-----