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

[Iain Lane]

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

  * No-change rebuild against new ocaml ABIs

Date: Wed, 04 Nov 2015 10:40:32 +0000
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.4pl4dfsg-3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 04 Nov 2015 10:40:32 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.4pl4dfsg-3build2
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
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-3build2) xenial; urgency=medium
 .
   * No-change rebuild against new ocaml ABIs
Checksums-Sha1:
 10c678a3333914c1e41a2d95659b0cf4d04071dd 2398 coq_8.4pl4dfsg-3build2.dsc
 3b43c61e6fdf3b528cd07fd523d958a0c8062ee1 16144 coq_8.4pl4dfsg-3build2.debian.tar.xz
Checksums-Sha256:
 c2ffa904ad907c56765e0afd30af2dc51d93472c19a30ecbe5dc20afb87481de 2398 coq_8.4pl4dfsg-3build2.dsc
 8982a706d3d52060fd3341ebe5db6a2593bc477a25645e21271439cf17fde66e 16144 coq_8.4pl4dfsg-3build2.debian.tar.xz
Files:
 9c2795a34a02317d69e48ec44ec1274e 2398 math optional coq_8.4pl4dfsg-3build2.dsc
 1d0e6fbe15493c02d20759bd95af4838 16144 math optional coq_8.4pl4dfsg-3build2.debian.tar.xz

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

iQIcBAEBCgAGBQJWOf+mAAoJEONS1cUcUEHUpfQP/0/yski/IXvdqFrRAvl+1yiH
qI6WLg+ffnDygH3zjppawwlBKwnql+eQ5thaeZ5aRUGT4hm4Qj4AuO27JhPIf4UM
Vl7jRAKXvlDiE8OtcRMi6cEKdAFM8k0UGFYa6ulN+P70Wed+S/ngIpR5Av43owWU
tmVCpwUArUDkP+8rI5kLTD0TvOKEuSTca2dypKJ0fRWP1mlAfd5jvKAEc0mtSZge
SvkqpR+6hJrfqyo2cZP/DIZCZSMHu3vzNKUO0ajXb7hE3ZlBXHVvTE/iq9cvvEve
4f+5bHz7o/jHyhLhqYQYGeK4Zew4BArQop22T0u/+cwrLNNA9Av+QybK1tBX8EvY
Mr0Zbuiy/G0fQ90t1cGZC45peQaCvBbxCyuNd2pTNsjnx9wDKbkXUd2cu6w4h/1M
sdsVa7Ox2YcFA5z07d8LS9bKwZ5loRYhrzgPln7NfLXSu/ZidCVONLocyapCCczJ
0dsvlUDBtKbRjdFhpRz44xd3ZQs1xGyN1tsII7xx2HYG8u3RRC2x1oI7VcvfSBYV
2PLrTwwUNZwr3Of7WDhj0QTc8fZll3XGDV7QitgcEmvyCaDJuwGwvgF1yY63LaT7
RkVxIVzY7bqPhtThlf85MkcRPHKfM3obhJdtUQHI6611rHkPiNhRqh3pQltqtvzN
tOoDhFqUMTUz122UNJV0
=7wse
-----END PGP SIGNATURE-----