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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:14:54 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hott/8.20-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:14:54 -0500
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20-1build2
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-hott (8.20-1build2) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 a32a514f8884584682260c6863cf36bb3d57ef96 2031 coq-hott_8.20-1build2.dsc
 c5b09b468ad57e2b7b55fc66104dafcac4bbeea3 3080 coq-hott_8.20-1build2.debian.tar.xz
 81d4881a3cc5c9725b936e3be6c88adb0f3bd84e 7042 coq-hott_8.20-1build2_source.buildinfo
Checksums-Sha256:
 a9bde63afeceab10516683c56921d7ec1ed0dc6d37c3553fed363098e53d65cf 2031 coq-hott_8.20-1build2.dsc
 3fde4edab8c8fb1747e0be9c9acf117668b06c9fe29e08ed13a9f5a08480ab23 3080 coq-hott_8.20-1build2.debian.tar.xz
 59c2b15a9c8e749853ae5556a20ce1affb99ea8c1ed2d1ffa01c79a5cede4938 7042 coq-hott_8.20-1build2_source.buildinfo
Files:
 414b43cd2bfd42c8c37f2fe58268a20d 2031 ocaml optional coq-hott_8.20-1build2.dsc
 895cd9930f1cf120d40bb165a604e92e 3080 ocaml optional coq-hott_8.20-1build2.debian.tar.xz
 2afd2b3de62e403cec028a5010a96464 7042 ocaml optional coq-hott_8.20-1build2_source.buildinfo