[ubuntu/plucky-proposed] coq-deriving 0.2.1-1build4 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.1-1build4) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:42:01 +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.2.1-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:42:01 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build4
Distribution: plucky
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.2.1-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6e0968d0c00e9175ce9f60926ab636564b9e2586 2112 coq-deriving_0.2.1-1build4.dsc
 4b084b6b57f0738d92a41e3e87907feb1da04463 2384 coq-deriving_0.2.1-1build4.debian.tar.xz
 a5bc9629267427b56ee3195b8c472c7924df9351 7307 coq-deriving_0.2.1-1build4_source.buildinfo
Checksums-Sha256:
 e4b569f305a14c41c9d929f2ea13fef8b0d2d1b74e877d204e00a35a15717507 2112 coq-deriving_0.2.1-1build4.dsc
 0d866d19364ab1068b7d816cbd9bb8e67b4a718d15f0091120a629e8ad11e09e 2384 coq-deriving_0.2.1-1build4.debian.tar.xz
 2aa99671e22506aa7b2779c98ec0f3c5353de025bcd58ec80f6854e22a8e6ed4 7307 coq-deriving_0.2.1-1build4_source.buildinfo
Files:
 23f79040431a564d4e457b5848af3016 2112 ocaml optional coq-deriving_0.2.1-1build4.dsc
 e44eb7ec6eee1101c07a46b47a3843d5 2384 ocaml optional coq-deriving_0.2.1-1build4.debian.tar.xz
 e05042addaf833b56338245c2271727b 7307 ocaml optional coq-deriving_0.2.1-1build4_source.buildinfo