-----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-2
Maintainer: Camm Maguire <camm@debian.org>
Homepage: http://fricas.sourceforge.net/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.13-1)
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
 1bf4da3218782ffbe5a0f3c1fb1e114c57cd2403 245128 fricas_1.3.8-2.debian.tar.xz
Checksums-Sha256:
 6a60063cb428ef49ca013c9933b877c97e66314c42c0e1706ff7d32160798544 10878913 fricas_1.3.8.orig.tar.bz2
 f03daa303d17a4e95b63b4bf07ae142bee511f4456f4fb4bdf9d0285fb93ec2f 245128 fricas_1.3.8-2.debian.tar.xz
Files:
 504b431c39e498527e6f9c739c973488 10878913 fricas_1.3.8.orig.tar.bz2
 e40d7f485fedb5d6033d7cade72e4054 245128 fricas_1.3.8-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOjSeQACgkQuEXOUQ+b
cU3HxRAAlkNXPgXdsaw7+F/Aby6SV4b7j7bLVIHLSWcvTQZfKlflPb25vA/iSmYi
R/+4HG815ocRM5a8tjMC3qsnPTgHkKApnb89apN5Zlaa/Y2WsY4TfUD5o8Vm3Gw3
zp2/9cUFKRvrmFOkNehJQTQxeI6gBacP/G2UenYXhEI1q6AMb9b2RzRbSF1xSpbN
sZVJi43E7A1Dsp22egAr/rC9TiIDy2agQ19O2RJKv+woHKH5RjPDZ4dFLzULvHfV
pPXeWxmQmXstwDJUvNn3/XlwoB2LDbwxcvET8f3ehtIPBaHL9nTwvkWmLU/iRiDX
W6UKvmzCz3S2mlkoUfy3QShUUDpwcesn3fe99384dA8PULalvK2ZfOt2w8pVGSP1
iRNC72j+2mTPV8vkOq3ID5QTOuXS+IoFALgIa42siwQSS+jFhqstRKVoxIJpm+bC
mRB4UZ3CcIayEtZ0lgBQRabE8vzlmobdlIwoAJ6n7ES6RfZIvfZLVKMBkE3Bbn6N
aB9/B/2zdorpYFyocJgw3qvy5jUB9BZwO9F5jrN3y+SdR8ibiPXB+7AyaKyqIeEl
h/JPgwZW+3n5lXxvkr2rv5k9cx5MxLlC3t0hkS7lqofgzWK0D9hWzJBsQbCbmJkw
58OLLgnF44wL9C/IF45x6b3VX2vZQeRNlvShTphA1w+Wc/Gkdwo=
=ccaV
-----END PGP SIGNATURE-----