[ubuntu/noble-proposed] coqeal 2.0.1-1build1 (Accepted)

[Jeremy Bícha]

coqeal (2.0.1-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sun, 28 Jan 2024 09:54:09 -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/2.0.1-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 28 Jan 2024 09:54:09 -0500
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.1-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:
 coqeal (2.0.1-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 b7903f0be0573ec315eca064f187b843d1866e52 2170 coqeal_2.0.1-1build1.dsc
 82b83120c072c6116963034f3fecb246743c89e6 2372 coqeal_2.0.1-1build1.debian.tar.xz
 9ca29db47bf8fda356b3d6525502742de5be0c93 7615 coqeal_2.0.1-1build1_source.buildinfo
Checksums-Sha256:
 09e281693c58a0f6230a23909ff3d3865bb16cb82e2e3812b1b61f7639b96d99 2170 coqeal_2.0.1-1build1.dsc
 c65f1832c6de8e037332aa37c2aaa6bc0dcf2f0e151018c82a8ba0d2fb43348b 2372 coqeal_2.0.1-1build1.debian.tar.xz
 ade1feceacac79db9ade25a006353c22dd97ac08a43b834870d17c7c9cbcbdd5 7615 coqeal_2.0.1-1build1_source.buildinfo
Files:
 c65cf61aac2c10a47eafd6a8e5f8268c 2170 ocaml optional coqeal_2.0.1-1build1.dsc
 103e3a83bbd8629c8c674105a6cab6c4 2372 ocaml optional coqeal_2.0.1-1build1.debian.tar.xz
 878cef6a52e4447d729130a9f5e1fa39 7615 ocaml optional coqeal_2.0.1-1build1_source.buildinfo