[ubuntu/plucky-proposed] coqeal 2.0.3-1build1 (Accepted)

[Jeremy Bícha]

coqeal (2.0.3-1build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 18:49:29 -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.3-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 18:49:29 -0500
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-1build1
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:
 coqeal (2.0.3-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 ceedeccdeef95214c0ba17710848c8226ee8426a 2170 coqeal_2.0.3-1build1.dsc
 14f4dd59fea3b5739c7c4254084af8e48f2f250b 2468 coqeal_2.0.3-1build1.debian.tar.xz
 a8295a5299881e5774e91095c8f9a60d0e2aa263 7072 coqeal_2.0.3-1build1_source.buildinfo
Checksums-Sha256:
 d7986a181fe44f084d9e16a4cd6cd5fb59ed63f4cf17ba9e31b6c4357a3ccccc 2170 coqeal_2.0.3-1build1.dsc
 ea02a3035c8b283df00012504f633991c1b982c86a7e7acfc5e953b7216b8b9c 2468 coqeal_2.0.3-1build1.debian.tar.xz
 c110ef882013835be24a3ff5d4769ec614c4c01960d32f5ca204ca5874d09e11 7072 coqeal_2.0.3-1build1_source.buildinfo
Files:
 665eaf2ecdeb82d2067f2073848db556 2170 ocaml optional coqeal_2.0.3-1build1.dsc
 e9bf0e62332868c81d5c8ebd61a9fa83 2468 ocaml optional coqeal_2.0.3-1build1.debian.tar.xz
 82cee6d70108d5aa71f25b0b3b5ae1fd 7072 ocaml optional coqeal_2.0.3-1build1_source.buildinfo