[ubuntu/oracular-proposed] coq-hott 8.19-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hott (8.19-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:20:07 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:20:07 +0200
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-1build2
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-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8cfa73ea56f53e3c8e2934462c4a2662e589ab3c 2028 coq-hott_8.19-1build2.dsc
 288a5dee7a6bfd981f1273875b68896d84ae6ce9 2988 coq-hott_8.19-1build2.debian.tar.xz
 e4519e0121bba395372dfb5d707d11416268ee56 7816 coq-hott_8.19-1build2_source.buildinfo
Checksums-Sha256:
 a307e8ffdea7d4333ef111865f113822c77619d528dd02980dbbedf6b6652e18 2028 coq-hott_8.19-1build2.dsc
 4d4306b2b260142ae667b284768d6d15d583c6acf8c4119fd8088fa5bf2b0ac4 2988 coq-hott_8.19-1build2.debian.tar.xz
 f24a3ed38cfd30b23879edeb5bcba6e08cc44217d6b525f332b5386a220af732 7816 coq-hott_8.19-1build2_source.buildinfo
Files:
 c1cb400b9e70aa91ba9696f06756bf14 2028 ocaml optional coq-hott_8.19-1build2.dsc
 07ebca610137cbdede833f100b179ec5 2988 ocaml optional coq-hott_8.19-1build2.debian.tar.xz
 76ddcab33e5e862a6845032e0c990e9e 7816 ocaml optional coq-hott_8.19-1build2_source.buildinfo