[ubuntu/yakkety-proposed] mathcomp 1.5-4build2 (Accepted)

[Steve Langasek]

mathcomp (1.5-4build2) yakkety; urgency=medium

  * No-change rebuild against coq-8.5+4.02.3

Date: Sun, 12 Jun 2016 17:06:30 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mathcomp/1.5-4build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 12 Jun 2016 17:06:30 +0000
Source: mathcomp
Binary: libmathcomp-coq
Architecture: source
Version: 1.5-4build2
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Description:
 libmathcomp-coq - Mathematical Components library for Coq (theories)
Changes:
 mathcomp (1.5-4build2) yakkety; urgency=medium
 .
   * No-change rebuild against coq-8.5+4.02.3
Checksums-Sha1:
 8d22a6ee4c3e77b76e1e74e568aa3b1f647526fe 2102 mathcomp_1.5-4build2.dsc
 1d3a29abda2ecbfe38e6e003ebdd80c9c87058f8 9676 mathcomp_1.5-4build2.debian.tar.xz
Checksums-Sha256:
 e4fd59714193554da410905c5f3c62c6297c457433c002c7bb01ad9aad112637 2102 mathcomp_1.5-4build2.dsc
 7dd4ba6504dcd200cecaced73a9b6577b1f7443cce5607a632961e379c0b3ad8 9676 mathcomp_1.5-4build2.debian.tar.xz
Files:
 d2ccbd71fcc789d94fc51edebed5ad3b 2102 math optional mathcomp_1.5-4build2.dsc
 ea7314bf9da54108bfd935522dd5b2b3 9676 math optional mathcomp_1.5-4build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCgAGBQJXXZaYAAoJEFaNMPMhshM9JcMP/0HkdECAg3bmQF1BKvfEp6ZD
MJj3RZ27D9rZxgiGUM5gDsyLaeslIKGcDdiiQ+LWGndeX8RlCRX3unHhYTTsa2k8
1e/AgixNOEs3Sz8DAsC5Iv2VebM+56Y+yda3o31TVr2tRhEB6VKqEgQaO2KfMalQ
gUGRHcxMmy26MugT6TGUURCMCp87Le5ox+axSEb5kGn0clpAniE7hE7yAeHnjH5y
z+RWtRgrR2kZRe19/tX4rC34AnRfcoqG4tr44mQWgM8FHpeXFstYxO8XbLGUYxWJ
O8gzKAlQ3jATOH3ZpyeQm3XEtBnaQdLW9gNhGjblDkcaHFmf11NYBOyGMk/baHBr
SdLej7n2t8Id3U4rtVLt9Ks+DDFCf+L3QMGYl4s5CBlBhm+0CTW1U50PNwR6Latx
o0xFSVNpykUUFjtW2j7jZ6KgillIBMyyuyLIMBjjNZksh/KEBwAZ0yI1ZWmzueZ4
KQEaU4d/RjiS41oxGBJihZHLFu8TYig8rEsXHkUIfc3yjt9+64dZGY0r1/V9Bmt5
TCOIcgasMf/wrPphW+LYJ4HGTciSS0i1uM8bglpvUTOrG8B48Rl7/Nz3NkbpNkRH
AaL1XtqaRsjlDBhEAbqwctzjWcYtb3Tcuu2w9IJnLdapac2v/dj3B9nYUGw950Aq
5QIjsCqZknfLtQR1BLgC
=H76q
-----END PGP SIGNATURE-----