[ubuntu/questing-proposed] coq 8.20.1+dfsg-1build1 (Accepted)

[Gianfranco Costamagna]

coq (8.20.1+dfsg-1build1) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 11:07:55 +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.20.1+dfsg-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 11:07:55 +0200
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1+dfsg-1build1
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq (8.20.1+dfsg-1build1) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8793dfe26cdfc3cc5fcd0c0dba07a44f31b476c4 2569 coq_8.20.1+dfsg-1build1.dsc
 21d500c781deee508b71430f64b3538bca5deb5b 30272 coq_8.20.1+dfsg-1build1.debian.tar.xz
 61b4962cf813c9efee4a57929f5d0244951973eb 8052 coq_8.20.1+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 40f87aec13b028e1fd81f416df605173852d68275067748b3f8b39840acdf499 2569 coq_8.20.1+dfsg-1build1.dsc
 928c4e2cd5bf3f8a4b84d2f894df3e50a175950fa6f38f103c89aebaf2f187f3 30272 coq_8.20.1+dfsg-1build1.debian.tar.xz
 66e005628777071ea398ffdc3b5c541f5d14789ddeea8c80ae24994452b377ae 8052 coq_8.20.1+dfsg-1build1_source.buildinfo
Files:
 dd6e7ee71f462b03d6617cdcfb93da70 2569 math optional coq_8.20.1+dfsg-1build1.dsc
 2479f6cbf9e3009bc0f9000953db0660 30272 math optional coq_8.20.1+dfsg-1build1.debian.tar.xz
 e9f529e2738dbd2f5cdd7e49bb957c9c 8052 math optional coq_8.20.1+dfsg-1build1_source.buildinfo