[ubuntu/xenial-proposed] coq 8.4pl4dfsg-3build1 (Accepted)

[Łukasz 'sil2100' Zemczak]

coq (8.4pl4dfsg-3build1) xenial; urgency=medium

  * No-change rebuild against the new lablgtk2.

Date: Wed, 28 Oct 2015 17:55:01 +0100
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.4pl4dfsg-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 28 Oct 2015 17:55:01 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.4pl4dfsg-3build1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.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.4pl4dfsg-3build1) xenial; urgency=medium
 .
   * No-change rebuild against the new lablgtk2.
Checksums-Sha1:
 8affca478da8c37f00eb4de4d6bae28beec4fc92 2050 coq_8.4pl4dfsg-3build1.dsc
 1ad7abacd15d5687c6e318ab630caa0a0252868f 16156 coq_8.4pl4dfsg-3build1.debian.tar.xz
Checksums-Sha256:
 41e5f203fd516cf9e8b88be57b87f905d10e1705472a0c2a47463739d928a5fc 2050 coq_8.4pl4dfsg-3build1.dsc
 5772590de076578d0370a95817db328962912890ed2600a5f86c942b96673f8d 16156 coq_8.4pl4dfsg-3build1.debian.tar.xz
Files:
 156f1996717062f88fa0dbc2e19b7949 2050 math optional coq_8.4pl4dfsg-3build1.dsc
 6993ca23dbb771c42f1f1a3cab8e1ebd 16156 math optional coq_8.4pl4dfsg-3build1.debian.tar.xz

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

iQEcBAEBAgAGBQJWMP6BAAoJEAIZyhnQNDMMDG8H/3XLG5ISu7Ye+uXK9G6izD9G
itqlQW9Wsg8hl3SlMr00EuRd4hijy72Evtz/U8pn9qKCXJZnoerQSRygD2PEOUBz
3mBcR0xzxlRfEVSZbt2yTleB8FZr6cJVjQOdzo+y/BAIGTXoXRm9C9JpLh/Xlg1i
Ss/XTv4sAL2wXIwdyzqV+rnIUJvpBSRPJGRPWdI9oM8hrKPffihuVoiL8D21kmUP
w5gDZCAkLRmRz4xW+f50KIIST49//qGqWwu1fWUE//JbGsJAIwKqa+fX+qxKhK4K
wMVCAqt7iI8HQz+PBXDurngoV2j+Gs08Ywfy4zk6r1jZyIuMfLpDrIGtkBlqrq4=
=x4CU
-----END PGP SIGNATURE-----