Accepted mathcomp 1.5-3 (source all) into unstable
-----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-----