[ubuntu/noble-proposed] coq-hott 8.18-3build1 (Accepted)

[Jeremy Bícha]

coq-hott (8.18-3build1) noble; urgency=medium

  * Rebuild against latest coq

Date: Fri, 22 Dec 2023 20:28:44 -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.18-3build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 20:28:44 -0500
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18-3build1
Distribution: noble
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.18-3build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 2fc4f137a1fe608af7788a6b5147c53ac2ffbd3c 2028 coq-hott_8.18-3build1.dsc
 3517fa2cd4de34f20e7b3f7fb4916d353448a511 2956 coq-hott_8.18-3build1.debian.tar.xz
 382baaee4e6d754ef6aef23e72bb1d9bf7fe2777 7252 coq-hott_8.18-3build1_source.buildinfo
Checksums-Sha256:
 2238157d6f0ce74c5122b695d13775339d8b0b1c10a3ba2d5e7d7b89edc709c8 2028 coq-hott_8.18-3build1.dsc
 b5074a66f4886653af75407c36fa9de2cc76c7aafdc5fe5f5f22015bfaebc3ce 2956 coq-hott_8.18-3build1.debian.tar.xz
 79c349b8099374a888a6140fabe18b1e12bcc866738ba78b90bd67ceb5e7d287 7252 coq-hott_8.18-3build1_source.buildinfo
Files:
 3242726bb7f1297435b54836307787a0 2028 ocaml optional coq-hott_8.18-3build1.dsc
 54214dba00a18c16080f5f768c2356e3 2956 ocaml optional coq-hott_8.18-3build1.debian.tar.xz
 0d062733cbf038ee5ffd23d2e5dc5eac 7252 ocaml optional coq-hott_8.18-3build1_source.buildinfo