[ubuntu/noble-proposed] coq-ext-lib 0.12.0-1build1 (Accepted)

[Jeremy Bícha]

coq-ext-lib (0.12.0-1build1) noble; urgency=medium

  * Rebuild against latest coq

Date: Fri, 22 Dec 2023 20:28:30 -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-ext-lib/0.12.0-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 20:28:30 -0500
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.0-1build1
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-ext-lib (0.12.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 43bae7369f46fe86b4cd15094621f558fa0167f1 2088 coq-ext-lib_0.12.0-1build1.dsc
 0080cde078ca9d34a76464993361de9199e75709 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz
 ebdfcbb2290cfc761ec4f0ea2640d16a5c92675f 7272 coq-ext-lib_0.12.0-1build1_source.buildinfo
Checksums-Sha256:
 a306aed8dc6550f52258fc4daa87ca5a4761f6b370e98129d8862307b0dbfcfb 2088 coq-ext-lib_0.12.0-1build1.dsc
 e388aa8740cadcb29dd4d79070ec27b5d1477ccf091acf5e852711f461e1e0f0 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz
 92c8278b3eb682e74f578ae7299b2059447a70c66e69e174cf629971204f1b17 7272 coq-ext-lib_0.12.0-1build1_source.buildinfo
Files:
 436d7485c37585886a515105c00fa81f 2088 ocaml optional coq-ext-lib_0.12.0-1build1.dsc
 2743afd11dbf27d2f6a6038efd7ba7d6 2320 ocaml optional coq-ext-lib_0.12.0-1build1.debian.tar.xz
 3cf6ada6cd83eea9f7f88a80e762dbe4 7272 ocaml optional coq-ext-lib_0.12.0-1build1_source.buildinfo