[ubuntu/plucky-proposed] coq-deriving 0.2.0-3build7 (Accepted)

[Matthias Klose]

coq-deriving (0.2.0-3build7) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 07:51:51 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-deriving/0.2.0-3build7
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 07:51:51 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-3build7
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-deriving (0.2.0-3build7) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 828e43d802fb53a7de8e03fffe133131ff825654 2112 coq-deriving_0.2.0-3build7.dsc
 c53c71322aead622f7adc89005a414bdfc9a5028 2424 coq-deriving_0.2.0-3build7.debian.tar.xz
 921fadc84112db772738df336e3f738d29271787 3829 coq-deriving_0.2.0-3build7_source.buildinfo
Checksums-Sha256:
 4a0acecbd82e89afdc1054145962d8256077aeb6def74b556f05cf9b61b8729f 2112 coq-deriving_0.2.0-3build7.dsc
 23822dff3377c94bb5b40184c4255b1f7137e27d9ed20513cb0c6dfa6dc90a00 2424 coq-deriving_0.2.0-3build7.debian.tar.xz
 7616b1ee739c8c91047d0b0f1eb31074bf8676a276d84bb59bb5be273bdb3827 3829 coq-deriving_0.2.0-3build7_source.buildinfo
Files:
 d1d32dd5f4dc5b1f16e6a690396e0725 2112 ocaml optional coq-deriving_0.2.0-3build7.dsc
 8010ac31dda3fb378179f499f4f51962 2424 ocaml optional coq-deriving_0.2.0-3build7.debian.tar.xz
 b716a2aa58355b044f3a8e428feb7d95 3829 ocaml optional coq-deriving_0.2.0-3build7_source.buildinfo