-----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.12-2
Maintainer: Camm Maguire <camm@debian.org>
Homepage: http://fricas.sourceforge.net/
Standards-Version: 4.7.2
Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-4), libgmp3-dev, libeditreadline-dev, libxpm-dev, xvfb
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:
 6f700b0d544f3eac26dd38304da46f66a6ba3d62 10951028 fricas_1.3.12.orig.tar.bz2
 7fb991ae21b28a295271713de9fc9fcc9956db0b 262200 fricas_1.3.12-2.debian.tar.xz
Checksums-Sha256:
 33201f9f56c20b1266d38f5290efe7486a38422ea90f707f0345f6a589e31c8d 10951028 fricas_1.3.12.orig.tar.bz2
 8210d02714d58e365e18067153ff219c1e5e672726776947786f2b49f603d0c0 262200 fricas_1.3.12-2.debian.tar.xz
Files:
 94de24fc649776074f47c40eab03668c 10951028 fricas_1.3.12.orig.tar.bz2
 bbc781252118302f81f55de89adbece7 262200 fricas_1.3.12-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmmPDPYACgkQuEXOUQ+b
cU0cYQ/9Fjg3SoU6U+kDTcQMfmiiubQKzqE+O8+VSpNKrWfyDFLIx/PAJLZxWkkt
E0xusojWRpsfSq9HJCw8LDUGU3NHuezRuJNYoOvfl0XoeiOhvnLgtfBc6PN9W6WJ
r2C36HCQm4BFcKdZhw+7iwoRST8gvNhvHg/n/r0QaN9VACxJlJHybiVoGNEsGQJk
dTxMeFXxf/+ARCqPAKdAUJcHPBBPSFBfWn2J5Avjg1UZW3e9TInp6+yV16JR1ehD
kmyQ+88jTjBfBjXYAXRW3dlE2wd1TwEkuGd2BqLeYiAjxV3yT20Cp4K650Z8uvKM
z8tWvtYJ9Q0NjFQtglNk07zBboD5NjPH2IamCkt6izoAuBt0n6Mre6dhKX/OQxOY
HMoYqulTFEPphle56g2+d0OwLhmDrDhX2Z0NyqMvzGP5E9ztNjeGBCPmoinrHgOB
Csk5uPc3qDWr2dOURu8DSGXDus+GKy5y/Xw9hYygnMu+X3pIbleWB3Fg7KUERb/O
LHWsFN0VM4oNHarRmiau/cQCY5N1muRTbmlxG2vZfb1c10YJlkNzJ7sUq8/79MX0
mdcjsD5jT9eP3eItUf5FUZRIQ70s6QgCXGT+XLmd/3cVPaaMiFap0l76L2PG8CkX
xgZZHr5oqooGIYwQWTCZskk+Hj5W7iR1mPYvBXQbhH5l8jxGaXQ=
=p3k6
-----END PGP SIGNATURE-----