[ubuntu/plucky-proposed] coq-hott 8.20-1build3 (Accepted)

[Gianfranco Costamagna]

coq-hott (8.20-1build3) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:28:08 +0100
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.20-1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:28:08 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20-1build3
Distribution: plucky
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.20-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 27f23737cc55e0518f53d94f9e5b99bcbd1d91f5 2031 coq-hott_8.20-1build3.dsc
 4cf7b1650db11e5f599544f0605c53fe1d1923fa 3132 coq-hott_8.20-1build3.debian.tar.xz
 d027cc817f0895acd8f62c20b991511f7bb167fb 7287 coq-hott_8.20-1build3_source.buildinfo
Checksums-Sha256:
 5d07de5d9fe6a5a7fedc5da4b0b14126895a31482d561cd0dc7729ab6e47b5dd 2031 coq-hott_8.20-1build3.dsc
 97a9e3028f3f17d43fcad159067d552d5b221001c5fe0171771360de82a6726a 3132 coq-hott_8.20-1build3.debian.tar.xz
 b7736ee529b69f2ad39446aab08a00abd78374df8425774507ba7913f20c6620 7287 coq-hott_8.20-1build3_source.buildinfo
Files:
 a20d876a2e38457bf056940b02add769 2031 ocaml optional coq-hott_8.20-1build3.dsc
 e0dc3bac7a46a1ea50c3cf707872079d 3132 ocaml optional coq-hott_8.20-1build3.debian.tar.xz
 444b59a974390ad713c49ed0e1735466 7287 ocaml optional coq-hott_8.20-1build3_source.buildinfo