[ubuntu/artful-proposed] coq 8.6-4build3 (Accepted)

[Dimitri John Ledkov]

coq (8.6-4build3) artful; urgency=high

  * No change rebuild against new findlib.

Date: Thu, 27 Jul 2017 09:44:54 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq/8.6-4build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 27 Jul 2017 09:44:54 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.6-4build3
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
 coq (8.6-4build3) artful; urgency=high
 .
   * No change rebuild against new findlib.
Checksums-Sha1:
 038586ac048504932ebe900047a13246718d3544 2153 coq_8.6-4build3.dsc
 b1ea322ac5e296a57a2dbd0560bd48106b26cb6c 22100 coq_8.6-4build3.debian.tar.xz
Checksums-Sha256:
 d4872ce023deeb1069f9c37b82efe65ed44e5078736b31e8addf8017fdc7004f 2153 coq_8.6-4build3.dsc
 5e1b66e7b2faefdf0508fbf6255a018f5f0807237a0a9c3c1288d5493d1bde0d 22100 coq_8.6-4build3.debian.tar.xz
Files:
 d14156e45f435e0bf93424194bff418e 2153 math optional coq_8.6-4build3.dsc
 760395789202cf224b587b531274fdce 22100 math optional coq_8.6-4build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZeagYAAoJEMrC2LnNLKX50WYIAJI+yWrxsvjw8IPwd5yb/srN
eMyvWG+xCDxNbYl45MVu/cDFR6sYciv9cUAxoQKZti25AG4RR9x9E3F65RMy3iBB
g1pZZPajmI4Dc6hp4vJnQyEAxWFR+V4cp18kHVCOarCk3G6+QJ/Y789lcMiaTwqz
Cd2SYGuQ1Hpf2P2kdVwpamXpBsHQ3bIpFyGxexB/KIXnUo82XAk3SBM7bBHBOtqt
53Id7dLK7JYnHG0lOrcmp5fejKUMAYD9B1IZZg7ngiAI7VLC47JW0r2JOL2y/QjS
NVUDCdmmhlpND2BMEaMa8Xjwz+fCcfSNBw53xlY+88OzediE8L7bRQa/d8BTp9Q=
=3Bla
-----END PGP SIGNATURE-----