-----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.11-3
Maintainer: Camm Maguire <camm@debian.org>
Homepage: http://fricas.sourceforge.net/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1), 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:
 c5104c92808ff01a02ecdd3f412d44da3b2c21fb 10937641 fricas_1.3.11.orig.tar.bz2
 3c3d5d2e12807f919a390a99e3997d363e787553 261416 fricas_1.3.11-3.debian.tar.xz
Checksums-Sha256:
 32b87461ef079659e97247ad0a771ec8cf0d5a0f934788d67d37fb7acf63f9c4 10937641 fricas_1.3.11.orig.tar.bz2
 3972b2f5acafc2f4f12a69ee72e9019e00469b370a3e320a3eb1d2e1e48ac059 261416 fricas_1.3.11-3.debian.tar.xz
Files:
 687c2a73f7a1c23f4e8de271b82c4a2d 10937641 fricas_1.3.11.orig.tar.bz2
 ccc56280571cc34642e560f0ebcb889c 261416 fricas_1.3.11-3.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgNhd4ACgkQuEXOUQ+b
cU3Qtg//QNLiQHBGeNrDKnEAMXrQ5QQQfxU8+pBFxF7pVvaWwa3I3lNOchk+FBuT
h/OHd1sXfu/htQTv3gOBH8XD+7jPBsq2MJJ+Q0/NM2T5Ai5r/DNeQSLbPsxuurmi
qwH9DXY71/Rb8wD1n/btu1aO9QnLlJyGqEwJtbXdly6iSxeJ+Lm0JlMAKavucdci
t7czE7rwVjNNOwt6EjqEumBu4SrYi9BWBlR2T8bf6ypD0PKnL0rL/Gac3TKkMEU1
gDqi1ByDHK9zh2evfYw8vvSwpUnr4k+Yf1+iqhRiM5XhRDOKzkt4mFlDBNFJumMc
WphomeD0H9wKdlYiHmZeVgZpZ68/BbLVc36rYubh4gDY+rdh0+hDGcasjc7n7Eyp
vSrznELWFSz6J5efHlF8PaqGmjQQuigCCxLNrxkwuhCbd2koHz3yms9xGtP71/Fn
IzDMAW7DKLzctXa0zYZpMe/GQO2mCzrPLVaIBYRj7rO+cRsRYTG9D5tyliOo0L1+
9SxSylkCkzksms0tp9jDH4chAK9H3Y3ZFAy/gvA2zsc5mpdBsd99kCl3luIXa6Pn
qaEH0rMJiRbrwFLfYmrQZ/4GfiPb5DJMyUWw4NYN9AdL1fvYnSFsLNkXqfLjo/X5
jrXEM22vwqbDuT1jeUu+SaXKPTpwa48WNGiBEBI202SLRpEugGk=
=BIGP
-----END PGP SIGNATURE-----