-----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-5
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:
 c5104c92808ff01a02ecdd3f412d44da3b2c21fb 10937641 fricas_1.3.11.orig.tar.bz2
 411c1ccea9062aec139eb81f21cf0c32e405ea89 261852 fricas_1.3.11-5.debian.tar.xz
Checksums-Sha256:
 32b87461ef079659e97247ad0a771ec8cf0d5a0f934788d67d37fb7acf63f9c4 10937641 fricas_1.3.11.orig.tar.bz2
 e99d829f1b6923e4c869f7ca1706970288043003323be0e12465e04a3a2d39ef 261852 fricas_1.3.11-5.debian.tar.xz
Files:
 687c2a73f7a1c23f4e8de271b82c4a2d 10937641 fricas_1.3.11.orig.tar.bz2
 092d8ec9ea07f59a02f5e85e7f249035 261852 fricas_1.3.11-5.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmjQXesACgkQuEXOUQ+b
cU2WZw//eV3pIDEz8V/U3DT/m4xGteZzinbCRA8ZPRfTetYO3FYGSDBm0xNDaf64
uXkz4UJQjZ5iMXj0lyFPDYNRkA1FQo0DyWu5L8vOwcSIJspLQItL3eeuht8dSg8B
/JDojoE78uRkbZbekw63sWhw7LE7O2HTLENnuMOuxJj8tIT0+j7VV9XaAjXOr3Vj
HSD6xLumlicfxBRY0P2hBxtmU2KNxUsY6YomrSZhdosuuVJRz99RkiBCGXSqhWtO
wndSEmaI5+Jnqfm2XDNgazG1asG1e4ikR0Gt+ieXl7I1tvFOhCBWOV9K2KSc/Lv+
DafTSKTg4G83ixvvoxLVM1O2HpMZVy4LlT1ng9VIRd31tByWad+cfn8BFdN3VGXW
aguZiHgPxsAH+ka+/J0pdIq8DKSla8BibeZSFKdrSnsleanC3TGVb/uf5CB9Vvom
vEA458V94JwEThpe9pjjPg1KoKm5aLSEZiNB+7VokNj0obucewQjYbjWVvgYI48c
kA6CMXF39i2oi8JDvX/s4QTxh9ST6mjTLgGvKY1RwKGN9vDjqjKJwPddOuZ+1szu
SaBnRjoFoagiusTbhIAvGBUSaxpw27772IZg9yYZP3xh2no4la1+e38bHVUiQlDh
IOqpLIhUj/IarBGNJd7yG3Q5NNI6q5/ZmrCIiXNfCdqFdGquXVE=
=mNKE
-----END PGP SIGNATURE-----
