[ubuntu/oracular-proposed] coq-hott 8.19-2build1 (Accepted)

[Gianfranco Costamagna]

coq-hott (8.19-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:38:17 +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-hott/8.19-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:38:17 +0200
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-2build1
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-hott (8.19-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 237d1d8a0d6d674b848cf633fbd9c8bc2eb16134 2028 coq-hott_8.19-2build1.dsc
 ffb7debf236c1c11d7cd64be1df5b8509db5c683 3048 coq-hott_8.19-2build1.debian.tar.xz
 b4ceb004cc6ea0598e6ca241a81c25890b635c90 7840 coq-hott_8.19-2build1_source.buildinfo
Checksums-Sha256:
 1aca057ba24f022261141db80bfc6003f9f5027764d48586416202b34262bfa7 2028 coq-hott_8.19-2build1.dsc
 e0d41e4da2e7ecd61139446d6cf296c3ae7a502b72f79b40c435fb02ec7044df 3048 coq-hott_8.19-2build1.debian.tar.xz
 c3d8de1eaab5e5c75df5f0c3b4bd21c336fe49687dcce3942359f09769b4891e 7840 coq-hott_8.19-2build1_source.buildinfo
Files:
 35e338bf8cebc814f222b411ee9bf479 2028 ocaml optional coq-hott_8.19-2build1.dsc
 e755c1ee5ede4b0e7a9b96ec353f72e6 3048 ocaml optional coq-hott_8.19-2build1.debian.tar.xz
 d8f133b67ac378dfbd4956702a1e983e 7840 ocaml optional coq-hott_8.19-2build1_source.buildinfo