-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 04 Aug 2014 09:02:22 +0200 Source: mathcomp Binary: libmathcomp-coq Architecture: source all Version: 1.5-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: libmathcomp-coq - Mathematical Components library for Coq (theories) Changes: mathcomp (1.5-3) unstable; urgency=medium . * Team upload * Recompile with coq 8.4pl4 Checksums-Sha1: d5dbef8ed40ec6db81767675b5c3684e9850544e 2016 mathcomp_1.5-3.dsc 26c0ee605eb7556a86deb4b74bfd257fff3d09d9 9464 mathcomp_1.5-3.debian.tar.xz 147ff92046d97863e9d76d6ed65f320353ab016b 22736566 libmathcomp-coq_1.5-3_all.deb Checksums-Sha256: 8d1295f90c670437d257eb303e5c13578d817e42669ba16b65cf9234340f69b8 2016 mathcomp_1.5-3.dsc 4720113385054c794dc1c4ae2e49c77e0f6941da59279dd5c847274241cbf4da 9464 mathcomp_1.5-3.debian.tar.xz ef86f4b6cbeea2db651d59df2d3f0fa261ae0f761f66c667b9a93fe956243bd3 22736566 libmathcomp-coq_1.5-3_all.deb Files: 0691b2d081ab916caf8979af118461bb 22736566 math optional libmathcomp-coq_1.5-3_all.deb b4521992b048464a21f56cd344eee2d5 2016 math optional mathcomp_1.5-3.dsc a6cfce1fd01060dbdd79ebc31029943f 9464 math optional mathcomp_1.5-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJT30WBAAoJEHhT2k1JiBrTI6wP/A0jCEXnCf6rMHH2XkXr2xbL hTRdaqxT07oCaF5r0+AlBtFIbLpjiaYTet7DTKFrf8KdPmthkqZO7PlNVUFtHbVO VyWDx0j+W36H9cI4ykKDNks2YfaBvC95eZjn5Vc/dRbOzWiyVThnyECOU2uUluBI e4bjzOLiJkaLgx6WH3NNVEyeu+irFHaGomEMKEqBwITU8GR/VLVJTQZBoGjl5zTo rNX3UghlhIzHSiMqtt/+iHSog5lzVyJQKagztcCRj9E/sf3KPoweuiI2/StqLNot fOYfRvXp4zPzsCoSCnLCmpv6KfwNtuoka6VByn1hz1W72QLqgDXQGB26UQt9kXBP kA/064uQrK5kAgTZMYhKleeNgGpSKsxMUGRyLcIKR5p9aMxfJN4EyoqZNz+2gJEH Oukrv/BLnin+zecdtDF2nCl+EJFFIcVtNgUOIhANOhdMoBLrRewgrcAa5fhVMFkq 9VBpZYJNwpUevREMw5n/IvP9fdt/yBzSixRURAdP8Zx8LKkTSES7BqPZbkbnYS0k 6bYzSjzeXx6O4eg/be0URZPp7CnMbqWj92MYAyzDhbcTnFDZmF8JBwoCwX4wYEh/ W2C/lVb1vnK/zPhOs+LnRbt8R/cq3Ed3My9jXJjkwCGP02PIuPpHb8K0kzL5LXUs Z9jUi9RvdJh9lKI4ChU2 =T52h -----END PGP SIGNATURE-----
