Accepted mathcomp 1.5-4b1 (source)

Matthias Klumpp mak at debian.org
Fri Jan 15 13:17:24 EST 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 15 Jan 2016 19:14:11 +0100
Source: mathcomp
Binary: libmathcomp-coq
Architecture: source
Version: 1.5-4b1
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klumpp <mak at debian.org>
Description:
 libmathcomp-coq - Mathematical Components library for Coq (theories)
Changes:
 mathcomp (1.5-4b1) staging; urgency=medium
 .
   * No-change rebuild against current OCaml.
Checksums-Sha1:
 d35c81c95676eb76cb920e035005e85a085b124b 2005 mathcomp_1.5-4b1.dsc
 4601d61092fc3ebd7279c7c3efb53de5ec2c9912 1043834 mathcomp_1.5.orig.tar.gz
 2f6573df70feb228672ff1452549c888e9d9f205 9512 mathcomp_1.5-4b1.debian.tar.xz
Checksums-Sha256:
 5871c3d508948c5ee849baa0cf6b63439b0ac3a75a50eb285ed47dc6bf8f4a39 2005 mathcomp_1.5-4b1.dsc
 55ad520996541dd2d76c2ed24d7b74b64091158d586fd43ccd74a110f9d62789 1043834 mathcomp_1.5.orig.tar.gz
 06932063e569f61a87a532f92e0ef510c7b90727ac3bed9c595e2d2482178810 9512 mathcomp_1.5-4b1.debian.tar.xz
Files:
 ab4302a15a31457a728b1ec86c9bdf5f 2005 math optional mathcomp_1.5-4b1.dsc
 f6f24df228569f0095d710063a633709 1043834 math optional mathcomp_1.5.orig.tar.gz
 b1cb1bc04da31cc6831d3f81a72e10ec 9512 math optional mathcomp_1.5-4b1.debian.tar.xz

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

iQIcBAEBAgAGBQJWmTb1AAoJEElMil+/TezrazMP/j7mefsKHtbqasu6rr4OCDkJ
Zz7R331a+yNGP7A6OIKjoM5ZBEFPkbssoU2ETT/d7tcmy4/bqkvrIZYYVoU3To6I
SipXXKS8baOMn88Fin1O0UzCJG2lzIiqAcIg/gJD9ugLe49YwQMJZFnJVuYF7VuV
Ya/zYm1UBLMNRJ915mAmzw1HEvIgNZcSbE+j5lRKyI9ZA96AcqCgsGKVt37Qly3t
75dMROpCGQLtQjgfAyQk6mqJtc5+i109Fz3Qc6QPNwA+gcWdewktXAvthzd2eS12
jhs54sf7qEhJm8aZsCfY7ND36OmeFHebc7Cj/xKLtmP4g1zRniSfEYwqseSYUdO7
W5CnjieaVzibzZMzaXdwKMiJZ/Ib5SJBOCNY5nqAV+gCSH4sWkTW1eO16SrsjXEm
yruyH0LjDGYq6CimD6o5IiBUdMVOBQsl0gVoyVIgPD+1F4/ARouHXHeYItxk5+V3
R9fCFxGX4gMT57ewdmPY8UmxtgwuEo9nlL+cApieckCCQflxGjtUGWHoa5u5L+4w
4h2RFUPeFExIpI20ajpxzUvHHvJ27lq+zMEMgrLH6UUHwBni7LyNRxk6KWe+kSl/
bdapkYRyEliJvca6VT3oUywLIwvOHC4lY9jDx/MpHKJbXhXvHYrsr0M8aMfNIQAM
JE8iT/P3z6VzK7eWOjHV
=oN1C
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list