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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:34:59 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hott/8.19-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:34:59 +0200
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-2build3
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-hott (8.19-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 76403d2216959f7d585e5424e35e52a4d39ed896 2028 coq-hott_8.19-2build3.dsc
 b6a49409d8b4459cf410f2c4500c19969c549638 3116 coq-hott_8.19-2build3.debian.tar.xz
 b2ce4d32fe4efb33cef722a84b7ffb4aa0e72133 5684 coq-hott_8.19-2build3_source.buildinfo
Checksums-Sha256:
 bdece3cb60eab99693fa92629577b1433ae4c1d4ebef4f09bb33340e767aaa77 2028 coq-hott_8.19-2build3.dsc
 eebbea8bd2338f76a48501f03c2ec4b974ba4084934a7a38517163bd48ff3c9f 3116 coq-hott_8.19-2build3.debian.tar.xz
 fed4f3c7739a41c6a4b9b81b91bad938b6faa50748d1f289007f7629277382a7 5684 coq-hott_8.19-2build3_source.buildinfo
Files:
 a9379a72fadcd033e63c8e2b34dc64f9 2028 ocaml optional coq-hott_8.19-2build3.dsc
 a20bd0a25dc309daa2056e471838eb5e 3116 ocaml optional coq-hott_8.19-2build3.debian.tar.xz
 a7390354d6373f9dd1274ef93b2e34c4 5684 ocaml optional coq-hott_8.19-2build3_source.buildinfo