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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:09:39 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:09:39 +0200
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 70aa69d0fc57a53a7b0098956359263bcefb491f 2028 coq-hott_8.19-1build1.dsc
 4746464db3a13f0337d1047dc0adb35a7cd73e50 2984 coq-hott_8.19-1build1.debian.tar.xz
 3aa989a7fa8a652d8b6f039198d4be07418ea63c 7816 coq-hott_8.19-1build1_source.buildinfo
Checksums-Sha256:
 b71db9b088f6cd9a4f4699e25f76cb9654e51772f383fe671a734f1377a6f50c 2028 coq-hott_8.19-1build1.dsc
 60877deaae93cc39b53c70b0767d1b7dd850482c7c8099afeaebf92506cabb95 2984 coq-hott_8.19-1build1.debian.tar.xz
 8e20c4b6460cd345519e95e58dfa1659aabbcdbe63ff08a771336dc8c9daed9c 7816 coq-hott_8.19-1build1_source.buildinfo
Files:
 fb7217e2d6730e16253ac30d0a8798a0 2028 ocaml optional coq-hott_8.19-1build1.dsc
 682e02d5c25bd2c62a471e6d0845a571 2984 ocaml optional coq-hott_8.19-1build1.debian.tar.xz
 8cbeaa832a76926c6fe04205344f5fe8 7816 ocaml optional coq-hott_8.19-1build1_source.buildinfo