-----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-7
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
 95d62c6c8e291fd29fa8cddb7a4704ad5654395b 245312 fricas_1.3.8-7.debian.tar.xz
Checksums-Sha256:
 6a60063cb428ef49ca013c9933b877c97e66314c42c0e1706ff7d32160798544 10878913 fricas_1.3.8.orig.tar.bz2
 b74b14b976531a20819fa6f8837ec15ed2a9d7d8c0a1c6eb1cb521092a78dfb4 245312 fricas_1.3.8-7.debian.tar.xz
Files:
 504b431c39e498527e6f9c739c973488 10878913 fricas_1.3.8.orig.tar.bz2
 f072a6b5106bc84334080f5c1791404b 245312 fricas_1.3.8-7.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmSB/hcACgkQuEXOUQ+b
cU1QEw//RYDgFCJMJaqy7XOhglW8HMMO+u2fVJ59N7WbOFquvCp+D4pjifYNWIlp
8Zv2mAzwVPYrwh4zW81V9l58nxONwHluujJwzJ8vL6gTDkjPszuIQu4DUbDZWJjc
ZRsvAdPfjdv69nmruksidARYicr//3TqFAnQewh+tomAOGOB97OiKKjm1g+dwcK2
YcoiVg8J/42pZqz/qWdJpm/v73J/VS2eLpYX61uug+mcTXvlO+zGy8iWxsHzzMJX
vEX4xLkg2QFLEt9cyPCZkVaRLX4mjgGkfWBjO451Zrh6+vfC9ya8rVPWJZSI1I44
LrTdaqpCHwzTk2bNgcpXXKHWJ1Mrs9PeUWOl1LMVMCM7sFbIHskIoQajAiK1zIGu
E6TNl88YFs0igfQTIy4f0wOxuhEBj+QmWzVUWGDQ/6nt3J0+aV701Ajn8lNj+d1F
bMHIf9OEUTGNJnMZz7dQjMjhIBdiLauwfZVT3P/MwIJQq+tBUZtSeeNWAxwNm9fD
XVfZFQkeQ3BfgcUeK6BP6bxBNTUIvyy2gZlbh80zdItbGyc6bLkb7Qgm4eFwysGS
231necp1xGDcuIWvsPo4G/4UpcaaX9kLrvd4vYz1/Gs4msJVaS+KmBNGk8GAh/Wh
cSRFH4GiDnNTA84GoyteIjINDs8Vdw6X/08kxiFKcmqj3xID9Ow=
=u4oE
-----END PGP SIGNATURE-----