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 <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/mathcomp/1.5-4build2
-----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 <[email protected]> Changed-By: Steve Langasek <[email protected]> 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 <[email protected]> -----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-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
