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

[Dimitri John Ledkov]

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

  * No change rebuild against ocaml 4.04.

Date: Fri, 30 Jun 2017 14:52:19 +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-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 30 Jun 2017 14:52:19 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.6-4build1
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-4build1) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 bc995423c721237f625f3cbc18ecf75bc45227de 2153 coq_8.6-4build1.dsc
 da105bc95a5284c25321f9b64a9c561a3dae829b 22072 coq_8.6-4build1.debian.tar.xz
Checksums-Sha256:
 2bfb36368a5dad8fcd4b5cb97c3ba84942fc8be4e9eb36afcc605ca09dfc337c 2153 coq_8.6-4build1.dsc
 a159ce0f083fa77b20c67dd1e3025760e16b3eb78f8817d84d4949bc26b707df 22072 coq_8.6-4build1.debian.tar.xz
Files:
 650e90cf45d8cb5e08399ecc38c55051 2153 math optional coq_8.6-4build1.dsc
 d4e98fc512efeb45110108fad9ab2d86 22072 math optional coq_8.6-4build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZVle2AAoJEMrC2LnNLKX5lfcIAIYB1wKRkYWfwlnzjZ7X+9/V
cxxMS0QvK30SrRyyluAJ8qM/CNdNrBgNz32zgf721rP739+YmnSsqbqt0PaXwHMn
Texc0MhZqUU7ANLPt3/wGjRkF3dpOmk4nZXuo6tE0iR+4QQ5Xe39HUTkPzPMBrW6
xqPEGzCGdy7Qb/ZAnCvQcjM1xs98SFE7aO2qlcsYOU2rIHFzJsQXBk5t1OLxuhOU
VJyTSo+za//lt5QzbJlaggANtpABDowXeYSxz+5TFOpTaYs1Ub9YKiwxu1zxoKmd
0ahbaC5NFZz1DBYMZYYm0+NIUvAylEkGFYerisrJM93bG7BKfDy6Z2Ts8QrIi+k=
=rwKz
-----END PGP SIGNATURE-----