Accepted mathcomp 1.5-4 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 17 Oct 2015 10:58:44 +0200
Source: mathcomp
Binary: libmathcomp-coq
Architecture: source all
Version: 1.5-4
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-4) unstable; urgency=medium
.
* Team upload
* Recompile with OCaml 4.02.3
Checksums-Sha1:
6c9dac411bd5e78baa7b0a8de554bb0c8a264348 1999 mathcomp_1.5-4.dsc
4d0222b64d9f95367b29d447ccc85639f94b35cb 9508 mathcomp_1.5-4.debian.tar.xz
d68f9c4d8e138a0f6b885c6acfdc8f89f15a4ee8 22736752 libmathcomp-coq_1.5-4_all.deb
Checksums-Sha256:
8d252c0b27b3e2d45ee23aacfc7f97a5905743c4668f4b594630dc6934e0a69c 1999 mathcomp_1.5-4.dsc
e56b78ee76b57c1e13b9dbc7dfb8bc8afccb4251f62650e1e340a4c9a4fd9a36 9508 mathcomp_1.5-4.debian.tar.xz
712b07f32f19e2e3463fd99115796ab431a271f0df9f07b2973d69ea147d7492 22736752 libmathcomp-coq_1.5-4_all.deb
Files:
2ba4e8f659e90b5f3a9d1e9eb05ffa68 1999 math optional mathcomp_1.5-4.dsc
f7a994e52af6edd288e12d749ece089a 9508 math optional mathcomp_1.5-4.debian.tar.xz
07e99632f8a7d2b5ca56b0c4226b5cd5 22736752 math optional libmathcomp-coq_1.5-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJWIh7SAAoJEHhT2k1JiBrTJk4P+waVKPmeLHJ2+NHgAEJkGi4F
aL/8JKyh5+kRO34Pqn6kAkftTCaq6+zM9nPYHE0Nklkn4mubACoO+qOS6nGYJ7wC
MxJ+jdiqj1QFcXf+i+kvelYNnUx+U1QKporz4QM+kotXn+tDnDeiDpQKVq/Hps4y
2slnG8eC7VPyI9PEq+9ah8QXVUWw4dA8aaKVfkU0O6v2EZA2FxHs9ToU16Ybm/eh
/WeBL5+MIUU7CZP1uIN6C4Ucwbhn+n6lEgdZp0xbHAwbN7xgALiks6Ijo5eQ7EXR
2yxhDBcbzP73BT4JWOIZMFbsIIyz1BKwr93DkC3RMdVcWSLVNIS2i+/DgahtpjYN
vyk+hkHetH9yZ4VUVGVfhViuFH69djs0gRaGZlQZq0ySYa5uIuCBBaa3l/Zy5B5d
t69RVjJc+1gstbusY6cfH7RyYz2wkYzkNYzOPXWsvHRf9u6AoYJnH1EUYJpO4th4
Jaxu9TafcL/44Y8E6ib7GNFQ1Swt4uJXzvjFzrw6RwkshTuurWbSMKoIcEZIQWna
hR7G/8qdWhOCZo2QUWD8yHWmbSE2xdbMdwaG0xskUQ0jJybqLmT+961CTecoLcQq
HlbT9zUXmSwcFJdtc22pFzf0tk9pWPs5TQu3L5QNrug7XZbOmuv+cTpCcw4Q4Fif
/AIM6/gfApkDoqKoD+jF
=kI0v
-----END PGP SIGNATURE-----