-----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.12-1
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:
 6f700b0d544f3eac26dd38304da46f66a6ba3d62 10951028 fricas_1.3.12.orig.tar.bz2
 a2fc43ba736e0fcf0e0d7d3eab0207a4ed6ab477 262100 fricas_1.3.12-1.debian.tar.xz
Checksums-Sha256:
 33201f9f56c20b1266d38f5290efe7486a38422ea90f707f0345f6a589e31c8d 10951028 fricas_1.3.12.orig.tar.bz2
 6d216b8cb9f0e3af93fba967b06be8244cde5d4d91acb618558237fe6ab3bb08 262100 fricas_1.3.12-1.debian.tar.xz
Files:
 94de24fc649776074f47c40eab03668c 10951028 fricas_1.3.12.orig.tar.bz2
 fab38e438413b1ae9cde4f4c867ccec8 262100 fricas_1.3.12-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmmOFtwACgkQuEXOUQ+b
cU0r1A/7BPN6vL+W9cZI4/s3vQO+8MAce4gicrihn/2nZEEvRERCx5ct+kNDa0dN
Zj4KnBE0aWFq5UB0eu3eBbolibd9IKr3RGFWAvEm3R+adAvs6GgHtH+mlHwwGa+6
sbeP2GxnQ2uDMJIlvMZ9gYwtBXPtP3j19e7f1B8WPVoqdDbIMHSv473HsHxp3M9M
O8cM7akbnWHpeRNWIJZF1/lOWG9oGOnpaTEC6H3+4Db+m6tnnLzqtulROa18/jGw
z40+usYanscn28YAfaPhJPczv3m6j/+0n6sQ7SyHNj1uSewTRBIYxXnXYyDCpSC8
gMbDVwsfeak86rM+KBEnIdCIUrcVyfSIFYQp2oDIBue9b/JAguZGR2QvGHwQOBGy
IxmPXJindzeFQjuATOFmlr93fXggxd8t8fwrq1oTtz7+AOTGQdRwv9lA9+IBwFRm
N7z8Y0gHfkVg6nHpop77piPbJJ8lfDpC0IfunkIrmq9fp7rzJzchn5t0GpktzOvb
6OMRGfu7zpRCYcihQmi8dVMfmexlMAmjiPxt0TrnAoMnD/4KzPqW3qe6gBbHDzVf
j6jJ7CNIrZ17hCjVHGlXzonfD4zg3JMrej0b+94t1V155poaabfYNVOn+HhFFm0C
qMtD9k3nPb4Pk8dYzcVtoDpgKpjuJKfItg0YPHYCwBTB2enFD5c=
=ohCi
-----END PGP SIGNATURE-----