-----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-----
