[ubuntu/groovy-proposed] coq 8.11.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq (8.11.0-1build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 13 May 2020 13:46:51 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.11.0-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 13 May 2020 13:46:51 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.11.0-1build1
Distribution: groovy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
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.11.0-1build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 35a108b4443425c94954db48b502674fe4aa7ab0 2520 coq_8.11.0-1build1.dsc
 4315d2e2e26f96603a172cc7a9107bbe0a79e276 31752 coq_8.11.0-1build1.debian.tar.xz
 9853724f49a096ae16913e9feae15cdee78f1ad5 11396 coq_8.11.0-1build1_source.buildinfo
Checksums-Sha256:
 f2d016cc5a178db2b67cc37a946ea1fb35cf72df0e8aab08c210d16cc9a68c9c 2520 coq_8.11.0-1build1.dsc
 746909406e159f7c9db15604fd398c614818bbf9fe09c32b82b4a5cbd1eb9eb6 31752 coq_8.11.0-1build1.debian.tar.xz
 a15688c9f158134e3af9d37ac134062c60d465caea5f8f2216cec28233458074 11396 coq_8.11.0-1build1_source.buildinfo
Files:
 1d323171c1305b5efcc97695dc608261 2520 math optional coq_8.11.0-1build1.dsc
 0397e052e861bd47c8f7dafe93ce8370 31752 math optional coq_8.11.0-1build1.debian.tar.xz
 576c4812454ef3dbc38e04d7756a1ac2 11396 math optional coq_8.11.0-1build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl673i0ACgkQ808JdE6f
Xdkp2BAAkza6QPYxAcHhbW428HK5VsSNij7e7guo3gRzDl8QPFyhmg1QRdByCGhB
CTzeBb+geonrRmohwrj5OWmGOzqMKzF5EREiIdGxKMzamaJrl5uFn2D1mXV4icIQ
OXCB9nuUaJw52kXx/kK9kKGPzUFgCLso6yxz4uk476S/BUXCJZfwicwU08affuQw
ZDNXcBrwOkmJ7rJ6WuyIfgkWTYbfXi5aZJZr/x8GDTe7GesO5gD4hL1ULsoVoBsa
Zsus7B9V9mOiWHYFZyRFTfjCYAVxo4mEDuwTgb4JF9h3pZSDIaUgv4tKIgoZnzZc
9CEFuLKzdKel8FJs4LBKzdIygoAN8YlUjkoFkSvLoWUyunq3QNTyN46LyDKIYnc9
MZPlN+dYd5nUmGHijKu+ADqe4V6OQEQvPo1Tm7r5AOFXy99Hx1rhIBjCC+R/aAcY
4wrhuQCWOuaDK7XkGjC0Al2e2mKBVUcLkM/NWBb18QGZOYg09eBzzrc1FkE9aU08
LKhQA9zdLtug9ms+Ku/ZO1QnjYQF8gG78NzW+bPCxdEKSx/cZrpnwFzsEI3R8x4F
bmobl2Do49TeKRTD70ck08RC8/tbnzIX4MZ8w0JuxYw8NpYt93ifYdoJFzNF8X9C
t8M5hzBBWnzi/iF2WBZyqeSPh2pXKTXm+JJS14ZzPalIZZj0tkE=
=wtfv
-----END PGP SIGNATURE-----