[ubuntu/noble-proposed] coq-deriving 0.1.1-1build2 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.1.1-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:13:06 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-deriving/0.1.1-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:13:06 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.1-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-deriving (0.1.1-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 30c14eb0efb204cfef99cd586a228672ff9079f2 2112 coq-deriving_0.1.1-1build2.dsc
 77a946fcf1decb6774d99fb4e023d87756c91c97 2108 coq-deriving_0.1.1-1build2.debian.tar.xz
 bebcea9c584003ce4bea77e57b885f4a47abfd9a 7816 coq-deriving_0.1.1-1build2_source.buildinfo
Checksums-Sha256:
 3f4593eef7eeec2854ad3fa9e7ae15ead03d9e90175d20d216937c40aa4f57d8 2112 coq-deriving_0.1.1-1build2.dsc
 61848ff187418f35d1fcf59e4257f9ff9bf9676b399cd9653faf8bbd5b2ad961 2108 coq-deriving_0.1.1-1build2.debian.tar.xz
 47fb9acff78fa7778e582960c8447f3f9df50c3b7634cec21da596658e0f2c92 7816 coq-deriving_0.1.1-1build2_source.buildinfo
Files:
 77a66a576db059e43652033a0e257ba3 2112 ocaml optional coq-deriving_0.1.1-1build2.dsc
 bb781025b76236fb496955dd102c96ed 2108 ocaml optional coq-deriving_0.1.1-1build2.debian.tar.xz
 f530f1d565ad98d620a6f4f4ca5b0906 7816 ocaml optional coq-deriving_0.1.1-1build2_source.buildinfo