-----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.7-4
Maintainer: Camm Maguire <camm@debian.org>
Homepage: http://fricas.sourceforge.net/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.12-117), libgmp3-dev, libeditreadline-dev, libxpm-dev
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:
 cc0df61bc2a0ffac91cb8fded819447f5bc01585 10859960 fricas_1.3.7.orig.tar.bz2
 cc8dac8be6203a5fafd5324eee20048baa916f11 65004 fricas_1.3.7-4.debian.tar.xz
Checksums-Sha256:
 70ea8cbd27b779ffd9795cb9723fd553f69346dc607f165f45b1389561394d4e 10859960 fricas_1.3.7.orig.tar.bz2
 355aab4d24612eca892719b525d6196717890d4549eb8e991df642ee1d45367a 65004 fricas_1.3.7-4.debian.tar.xz
Files:
 00f71781578762257e20d8475753a6cc 10859960 fricas_1.3.7.orig.tar.bz2
 477ba5fc6fc938567bba969ec867e739 65004 fricas_1.3.7-4.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmHxbI0ACgkQuEXOUQ+b
cU113A//UBgY4xs+T4lXtRHasvL6r8c5vh+kyT6/X1h1c5JLI9bksyZRrCH6RQJ+
0us/jT7Epnqrw4JE6AoDJ/WAHaT8+Fc7BhpWxZb4QDwfWyMxA/B/F3AzTt96gSeg
XLIBCjlNNOpVZl63W5mar1auFyxbC79hzybuGqGTPIpojLXw3j4WJQS45xbHtXL6
zgbpAodJTAxJPM664gRTlrOvcytV0UcwWNb+3VLk1jmE3TktfZfz0RS/mW2FY04p
lxAZNgkRMXZ7cbSHx/C3b6FY3FnvYO+0sJUYN9sIbtSYvjhTbxIlnZyjLfNbUnYv
A+IeBgpBhZpTLvtvsaaSJ492XxqsGgdh40ajSRkmy1tBzgoXnSKWkobpocmSz1ki
SwDi9+tX1Ge5AfT1b8EbMJQGLH6ZGFrTRELBIwtCVjSjfc50+r8l/oRZFZaIwn04
lGTVWBSZhEPDYdwvcm/CcLaI9cX+iInPbAsmJV/HzQkgjum5K2tXRfQKO4n++64I
kBI/gWBbgmVGbCXYjaf0v6p5CsZQge+LdQBNdZrFVcAuYG5gh5+hgM3DINPN/H/m
ee2dnxhA3ZfF9lM9/90lqz+UOeL2dAhPPjqXUp1+dYnfWXL/c+Fk3T+NuswVugx7
A1nub4sJQNEdW7JgSvNzROoLUvAr/fnvHY5CbU6WGrwkF39fKs8=
=C84C
-----END PGP SIGNATURE-----