[ubuntu/yakkety-proposed] coq 8.5-2build1 (Accepted)

[Steve Langasek]

coq (8.5-2build1) yakkety; urgency=medium

  * No-change rebuild against camlp5

Date: Sat, 11 Jun 2016 15:12:11 +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/coq/8.5-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 11 Jun 2016 15:12:11 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.5-2build1
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek 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.5-2build1) yakkety; urgency=medium
 .
   * No-change rebuild against camlp5
Checksums-Sha1:
 2a1dc2b9d7554d5c2e848f7b5131412c1d42a47c 2499 coq_8.5-2build1.dsc
 6864761b8e3551cdc94938d7d9a87c9a46992352 16780 coq_8.5-2build1.debian.tar.xz
Checksums-Sha256:
 3bd0a2c9d5fa8688699f049b30b5b2c360bcd9db7aa33717bc4d9cde03dd776f 2499 coq_8.5-2build1.dsc
 d573fb3bbd022ede9ced3fcadb65b2da005f5ed98b91e5a6394fe5a5440e53af 16780 coq_8.5-2build1.debian.tar.xz
Files:
 397ef30159daff783c6a60a0fa521398 2499 math optional coq_8.5-2build1.dsc
 c19c18eda2f5594610457559f8fdc6be 16780 math optional coq_8.5-2build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCgAGBQJXXCpkAAoJEFaNMPMhshM9Em4P/ikpUG28132qO5N4G/3GHkLh
+wEZ1l6u5W+n3RyE/QJrtWDPkEcT6FbIMnylbRcdD6lkziOmkmNFIyEcGcp+m9dL
JH0qaFGUQcsJffI8kTQUlSIwZjSsYkFHvzMpthhVebuaMqtoC6V1JG3UOvv8ocJD
jsbaFHetJe6ZWSrgaoNXo4u/Ouq64fTXHRX1BTlOv+mRcO+0vXGS8Dg7i9bowAfr
3jCueThMg1Hl/ijyz/sQrJOZcwiS/gnVci4hLgRMocuA9Rz1VBoelkT4aQUe4zNu
6RvXcI+73kqjzGyZT3c0M4r0ecq4oVZdiShoASWR7/9QnPfypa8bC6QwBJOU14bd
eXxPwPmcpdXVLzKuYxNmHX7BLGcFk8lg10ZWheyIxJaDQWJkudQssDDB4eC39Q8F
BekYTag7utTi9iCSvkZazw/fHBdJmUX+UvyiMkHU3E6bVNN10FB1VTWD7W8IiF3K
h8sY6YDCNeBuFYd282rPj4w1fz8IyjOmzpVrOlJ6v30Y4cjmtXbRu/t1sPj/X5nO
R6t0un5h7uwkql4wkZRckPzQLGkbquwrkPlqI0tcEc89KCZcpWZVxcWyyOiUtyTp
HnXTer/DA5sGCfkZuDXyrpnaJnALSJ7dF7sqL+XfoAB/cgqtlz1Y16zjTlSbqtI1
N1Tuf0kl31JWI7ijo2w6
=tLJ1
-----END PGP SIGNATURE-----