-----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-8
Maintainer: Camm Maguire <camm@debian.org>
Homepage: http://fricas.sourceforge.net/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.14), 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:
 6f2c1ae5eb71daab871d1814b26f596363c8e925 10878913 fricas_1.3.8.orig.tar.bz2
 3cfb0720bcc208313757562ef66f158c6a30f2ee 245940 fricas_1.3.8-8.debian.tar.xz
Checksums-Sha256:
 6a60063cb428ef49ca013c9933b877c97e66314c42c0e1706ff7d32160798544 10878913 fricas_1.3.8.orig.tar.bz2
 3700285a6dc7bd124e0873887c8cbeaa2999d655cab5556ccf1cd52be55be1d9 245940 fricas_1.3.8-8.debian.tar.xz
Files:
 504b431c39e498527e6f9c739c973488 10878913 fricas_1.3.8.orig.tar.bz2
 2e7125a72c532a53f9655bef0bf8b4f0 245940 fricas_1.3.8-8.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmSIlyYACgkQuEXOUQ+b
cU0UeRAAkvMH+SbxiwRXIxn7qLeWI01PZbsY/uogKX0yx7zk8QdIytt+r3J68qRa
nli3cBJs9NT0zLE9HmGlAv9RMpNowAkq98mG49w68DXv9NP2FSk9mlnJZAMvJtJj
Vf13ISpHFhpy3XWLdTjB4+aYTTGlz3lQUch0AxK5c1CxlZVaf00lFv3KEdhzkAdH
SbDSvQtCb4mW4gRG0o1aPs3/SBcZW1pGCsrOSIm5fafnyk0Wiy1j0zL3OWzjNFz9
0chXztGnUGhhNkegRd3P2Dc6mvSZjJeIWbJxScRh5hEpBANAFBJERWgO212894y9
/BVtPCOhvn+tY5GwXMXT7uUi3vjFsqBhUc/IpdXc+gY7qG/pq0SdukbeVDfudIVS
75e27lZqX4UcmP8g03nkhBCPlgcFrZ7Qm3kFoDSEcR6AzrV5XJw3jItPQJZGJmj0
HAYjT69QHD/ZtIMrT9sxCPbKaRTRtNBHOWp+gG9Zgx9LCE1B57tk6VLPLhD+sB4I
m4TTMYEa8WQx6oQgd6Ni86sTL45PyUBNrNpV7afrqihQASsI5mJaiR2CSt2GxOWj
Vm3MPamzF9Njl/N83qRt2dbNxHdYo1C6XMefvDQGX/qZZWaitHq207MCzTeJ1LNg
F78xZ/tXAFeh8ZbSntvqT7cWIFvM7maRAHiEXW7jxZMc2/bxTZc=
=s4UX
-----END PGP SIGNATURE-----