[ubuntu/mantic-proposed] coqeal 1.1.3-1build1 (Accepted)

[Gianfranco Costamagna]

coqeal (1.1.3-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:11:06 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coqeal/1.1.3-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:11:06 +0200
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-1build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqeal (1.1.3-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 fb4f8fd9ba093fb4c8d249584449fa463c24b046 2178 coqeal_1.1.3-1build1.dsc
 3b3d4d9e8168effed09f890b5f49818dbae9f418 2296 coqeal_1.1.3-1build1.debian.tar.xz
 c713eacdb864ba36210c570c775fd0b8896a331c 7766 coqeal_1.1.3-1build1_source.buildinfo
Checksums-Sha256:
 d32d2d98af7ec98bf3c665f35b17d48890ad28b8a7278accdae2243f7e364495 2178 coqeal_1.1.3-1build1.dsc
 1e11fed2d9b51b44330a4bbee0700ab754aca229a55fba228d621ec063d31243 2296 coqeal_1.1.3-1build1.debian.tar.xz
 cd6807db682b1c52f6db9c40fb2b44118849ef3932b2caf6500fa4fcee22cf68 7766 coqeal_1.1.3-1build1_source.buildinfo
Files:
 19f3953a1a5d1948200080ca211e44c0 2178 ocaml optional coqeal_1.1.3-1build1.dsc
 025d6ac8dde74aad6a83c15300c3461e 2296 ocaml optional coqeal_1.1.3-1build1.debian.tar.xz
 9c6992f511b2535d377a9436e64436a7 7766 ocaml optional coqeal_1.1.3-1build1_source.buildinfo