-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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.13-3
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-34), 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:
 f0be0af52a377321508ac0b891b0cec1e3786c4e 10997314 fricas_1.3.13.orig.tar.bz2
 5c557efb48398b32f8b36e0a16a93aac36f40cce 262528 fricas_1.3.13-3.debian.tar.xz
Checksums-Sha256:
 dd4d5e06db0ba4a43a5bfb64e94f6c8d4b10e68ac65a77556891a6b24af148a2 10997314 fricas_1.3.13.orig.tar.bz2
 acf13b762544b1fb1deff2ab4ccb2e5e80f7f2c7d4434d6af31f7e067105e29a 262528 fricas_1.3.13-3.debian.tar.xz
Files:
 1d076cc209fbaf5bf2dc67096da2552c 10997314 fricas_1.3.13.orig.tar.bz2
 304c9155a781088bfcf7d94c836e0294 262528 fricas_1.3.13-3.debian.tar.xz

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

iQIzBAEBCgAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmrFPQEACgkQuEXOUQ+b
cU2qLw//dcOC+3biGCTD6Qc2iaGCymHV/nKOvnVhglCd/wyCvPmCoMzSX9YwIaaw
d4fnEPuV8vcdw2hW4j9zYRaZLX8cVK9cdb6FCFR+ots/cnX5D10vP9S3xBiqVGPO
XeKoajTvzHnVTVil6rd7Tszte2Bb4A5AP4HfFGLCRz4v1aHYV0d/SIrd2kDIOZFV
1sGF3d7KmE78v6iqIwQET5toDg1ydX4SdH+9D6Byi22dQUBR0xWJxYs+rKny+4Y9
36BaEwaD10xnwz9zBAwmq87TEq1eZT4b4Irve+xBTqmb80VCHWh/TBinHO6lJwOX
TKwE9zIC8w+kGD/+2wushlVNmuT8WGwgrc3HgEgiDObEhoLDt3MevC8f0mah6h/M
QL0O839fMYj0KO4xKDPJlDWxE1onSDz1Ng5eFH1pDQFZZ9enYB1OL+ZqwqWIVscu
iNZT0LaFUgRvHl0lXSAgrZKxAisDy7/v5LrRoHtoYreY0PQqxJ3pXdzhxJk4kakK
kbFKem7HPjdK92NBAg5oaHDjVsPYulUTjLRaCg9W4Z4EvUL5W1O+io3ALHxZ+7ku
i1DHq2WouGiI4LiV07aqjL+5WXiVT7X8MxB1VXhxO2p9mdrz7aOb/FBriRMQ8cJZ
JoS8BB7C1QjlZtpzQAcmy3HEQQYQVq/j7xaP4t9yysmRzMLmFZ4=
=vsz+
-----END PGP SIGNATURE-----