-----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-4
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
 77820693bf14d8e8d0fd34f8262f66121501b60a 261640 fricas_1.3.11-4.debian.tar.xz
Checksums-Sha256:
 32b87461ef079659e97247ad0a771ec8cf0d5a0f934788d67d37fb7acf63f9c4 10937641 fricas_1.3.11.orig.tar.bz2
 9c260af3f0ccb49f0c7cecc3e8d629c0b4dad691ee72727292d06e9d3b274355 261640 fricas_1.3.11-4.debian.tar.xz
Files:
 687c2a73f7a1c23f4e8de271b82c4a2d 10937641 fricas_1.3.11.orig.tar.bz2
 473f1aeb0ee1af2ffaee7138b139eb37 261640 fricas_1.3.11-4.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgkUWoACgkQuEXOUQ+b
cU23Sg//WPrkWNHZ2zziGJXh2KfPCuYywvfscqq1HJO+mbmorMFnxiIO3RfcvlAt
hKh67X8QRDXZeNWG0HvkN7ri0NTLTyIogl+ilcPG7FMATdxPCElakMwlrWDwKoUn
fQDuX/1DZE/HN2qmcqTRJyIBXfbAiOYung31cCFp6EnLCgbZGjH/OjwUo0fRoOOy
0jr01bQWyp4+0ebGuU2Z4Hd79wQeGNiUNhXBACBK3FK6IJo1ceQ8lrhxPBIru+De
KhDjudwmlGnjbqI4mF5Rn7PG3SxS5apH2N9L6IIwTCJqVeFhDZnGIA/vCJnLQ0g/
flv5B+mJMc8Ujbv6D/OdOL4AT2BUSQrUT7yi+ClxMIvqt9uC8/qLzyzwvd7dOTka
aMKBULg3mvtovMir3rKgDRDfDjm9Op8yDpHHobw0PkpnyT1xZLe6/h9E014rzTmB
klVxsv1yIXVDlowE6wdGGAxCLa6F64EkwCBu4pZQLYM/8PCgN9P9LV5uqMVZuf+u
pL5VMYLUkrJwgVkZ5gp2CYAJOb2aPD2y+sYNu1b2GJ5iK5fVyJdMk2EjdtjJ9Zto
A2Z4PqbStLcXeHjjGRoZ6OfbBPFp13FxODH8jp94YyfR0Eu0bgbYc9KQwPPxmx8/
FH/v8DLmgo8IiGlo6eckapLOQfqj8xyaXJblSX90Xg/m/hSno4w=
=oSQW
-----END PGP SIGNATURE-----