[ubuntu/oracular-proposed] coq 8.19.1+dfsg-3build3 (Accepted)

[Gianfranco Costamagna]

coq (8.19.1+dfsg-3build3) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 07 Sep 2024 08:49:25 +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.19.1+dfsg-3build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 08:49:25 +0200
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.1+dfsg-3build3
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq (8.19.1+dfsg-3build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 52bda89623ec32fca131ec53856e030f77555de7 2572 coq_8.19.1+dfsg-3build3.dsc
 d5699754bdcfd928d3b27684a3e88f35a8c147f8 33012 coq_8.19.1+dfsg-3build3.debian.tar.xz
 c3358ed8709ae626a5f9476816882a39b3f2e760 8842 coq_8.19.1+dfsg-3build3_source.buildinfo
Checksums-Sha256:
 7d4bd6c556cf45c3f4324415c08fa10960a5d7f5f7a341e01b52e63b62f2fca7 2572 coq_8.19.1+dfsg-3build3.dsc
 81b2953d073de1384a1a3fa5bcb74431be027fdf37dc0580b5f5e0915e57eb5e 33012 coq_8.19.1+dfsg-3build3.debian.tar.xz
 6897fe5cceae2323c9c6c45f888cf961089331ef1e7be7f52ddab7ef9fe33100 8842 coq_8.19.1+dfsg-3build3_source.buildinfo
Files:
 5aca371f8a5c5d08e8d38e76124faf82 2572 math optional coq_8.19.1+dfsg-3build3.dsc
 47292bb7edfc11323c7a09012b834cb1 33012 math optional coq_8.19.1+dfsg-3build3.debian.tar.xz
 73930af2b968c1042d6c35d84d4403d4 8842 math optional coq_8.19.1+dfsg-3build3_source.buildinfo