[ubuntu/noble-proposed] coqeal 1.1.3-1build4 (Accepted)

[Jeremy Bícha]

coqeal (1.1.3-1build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 14:11:49 -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/coqeal/1.1.3-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 14:11:49 -0500
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-1build4
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:
 coqeal (1.1.3-1build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 fd695bfb2631f7e339958d79e7ffc40e68ce0a2f 2178 coqeal_1.1.3-1build4.dsc
 a0728d109d574a80eb88039991a6176094d1597c 2392 coqeal_1.1.3-1build4.debian.tar.xz
 21f3271c320b4d26cb5d49ad43f30fbabc2ab30c 7248 coqeal_1.1.3-1build4_source.buildinfo
Checksums-Sha256:
 d0ada4ab060dedd41b31448bcb424f62e2899712360fbae1f1731662ae54179a 2178 coqeal_1.1.3-1build4.dsc
 8f19b9f50f84497e8a2522828d801d0ebc46d065edc73a26ab0f9f928ede4701 2392 coqeal_1.1.3-1build4.debian.tar.xz
 716e427aaab7271a092ba9126dfdaecb61aa9c5a0f0778d94c2d25e3aab466a7 7248 coqeal_1.1.3-1build4_source.buildinfo
Files:
 28beb1334041ff79fbeb4d03b050ebb9 2178 ocaml optional coqeal_1.1.3-1build4.dsc
 7afe89dfb551be7ef7c2ec1f97a57ae7 2392 ocaml optional coqeal_1.1.3-1build4.debian.tar.xz
 343fc957f4c137b06c96320e7fc3b968 7248 ocaml optional coqeal_1.1.3-1build4_source.buildinfo