-----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.10-1
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:
 2f1e1bbbad7e04a7114ffbd93eeedadc5db32272 10971513 fricas_1.3.10.orig.tar.bz2
 bb476f1987daae34907b7762b983e6b77daf21a7 246072 fricas_1.3.10-1.debian.tar.xz
Checksums-Sha256:
 fc2112ad45ba7b45ac423165f32bd5b244622107a1e4e1d56b9136f96746f2a0 10971513 fricas_1.3.10.orig.tar.bz2
 0310fd45eea62ae93fc9adf0028e11c7a4fd3dc172a17629c5ba32eaa99dec40 246072 fricas_1.3.10-1.debian.tar.xz
Files:
 d2ecd6f8c45cfc41c407b7d5f6eaae07 10971513 fricas_1.3.10.orig.tar.bz2
 b8ed3ac4e935da96a463afcfb84c1940 246072 fricas_1.3.10-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmXBGUEACgkQuEXOUQ+b
cU0bRw//aB0f5q9MEEbfUw9tbdoEjj577+aLH1MQCL7wnQokt1qWnIRnc2E+TUMT
sKHGY8zFdZgF7k1s1ngvV5hP4Dfva8tSrfwx8zG6EHXS0l8tsUOyXs//DA1WIqMv
53/+AWrUQF13jzCwZV16T3EiNUj16CQENH6boNXSJZIVqX92woZrhYYpY3roPh5N
WlsUZXZbz/8rYBeUSbeo09irWwrY9bopokwm+hjxg9z3smz7ZOtQVdnigGRYl5fc
h4ma1gcwZIZiOWu1COwFb/U3zWAoWklEYSi+L+WM5NIZCZHutoTTRPzJX0ptUgrf
vQ32iwlmITlyhXeIdRLsEYHivYmE8SHrA8C0DiHXDpFGZKdCU3Z6kkOguP0oKm9m
lba0v8i9aLaK87BeTE3zWv1pHBwHQhNFfhZBO3bKoKchpMsUe0lu2+n4wp16fAwE
r0Ri1UY7fAcdV1InCmK+RJVYaIF+6OZoRpqsWLJtbKEgaVfZFyagg0iaBF/Iyj05
1unKVjPJgrZBiB0kTEwwRqvOxUaTNW8mIRLlJKzVC97Kl0Q19R/Nh5S8GSLxIM30
UtZW9XY9DV7GFxQSYa4eNMbXubIHhOdk4le/7o4hwbULMmWGRoyv+glDs7xvcmIM
LasaHejZ88vjy8lOlKL5MMvx0YtYq7AABvbqS0v+cXSG0iPvJIw=
=7kVD
-----END PGP SIGNATURE-----