-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-highschoolgeometry
Binary: coq-highschoolgeometry
Architecture: all
Version: 8.4+20150620-1
Maintainer: Riley Baird <BM-2cVqnDuYbAU5do2DfJTrN7ZbAJ246S4XiX@bitmessage.ch>
Homepage: http://www-sop.inria.fr/lemme/Frederique.Guilhot/geometrie.html
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 9), coq, camlp4
Package-List:
 coq-highschoolgeometry deb math optional arch=all
Checksums-Sha1:
 a34c92e67dba50d216a7357ea09fa33ab9a97c38 137848 coq-highschoolgeometry_8.4+20150620.orig.tar.gz
 448931884f7d205c5151d246818b9fb87631655c 2568 coq-highschoolgeometry_8.4+20150620-1.debian.tar.xz
Checksums-Sha256:
 784d8de753a9253b3f8ec50bf7b18e8478b17e78aaf8f3ecaaff808fe9b07081 137848 coq-highschoolgeometry_8.4+20150620.orig.tar.gz
 616f17d724914663e0fbfe45202f60c228d82ea622e8a18d041ffbc424b60ff1 2568 coq-highschoolgeometry_8.4+20150620-1.debian.tar.xz
Files:
 0c5089edb40b77bbb1910518d4d5654a 137848 coq-highschoolgeometry_8.4+20150620.orig.tar.gz
 dba5779c7da64ee23476b535208d3e82 2568 coq-highschoolgeometry_8.4+20150620-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJVyQYyAAoJEHhT2k1JiBrT3lEQAJ4kdOjGlHC6SGKBxSybr4Ot
wKkASb8mLjfpTEBlEOukQrHphC6PS3nFhvA/gfY3s2kDIbDfZH2dnWTV2zrIclnJ
HwJmHhngB89WyBp5q7r0HKm/9jYhiuJs3qfoO8pqRxwo6E9qpIKA0ZAemATidK1a
BSH8C22ELQD7EI8YfaNmTmHcTmlcnKA+9Kj5u8YK+oau4pyeTFbWEAv/xTU0S3CB
8Eny21OVPnoCjzG0dXC7r9EOh2QhooS5ykn47+XZ62nIyJrmEKAs7TwV/UC44ac6
B3ODq2TOrRJloN4k1SZVYfALglYxQRLD4G7+K6G+IakcpRpQcKIW2OXh+AiPOiZN
01HwV1MMnmXu1E+OO/ixycp1wIIWeH/w6yTS9shIjdZxYHpS/k9bvc7IG6CJn5O1
4/hPV+zLq7RIk+pxENn9Awavr8Mc0Z/FSAxguwxJ+mMY4MXOJMB2/rGqHwX/hD99
eG+imEJ5qizJa9rE2awFRfcxquBCIV1LQrCLaqaX0w6Mp9lQHtv1t/JD2QsCzvfy
J4gyfb2vvTzU50x1MEZiG/+KzT/VCIy7IRwDSIwH/fGz3ymrr0vJkrDV9vGWreKP
7Jdp76+NEchj1VuiphYGMxg+kssXH7u4fBKZUOO17LELpzjdF0SQ3P3ka7K2wVjC
5Rv+ElPVjSrA3/JgZrvw
=YjWU
-----END PGP SIGNATURE-----