[ubuntu/plucky-proposed] coq-corn 8.19.0+ds1-2build1 (Accepted)

[Matthias Klose]

coq-corn (8.19.0+ds1-2build1) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 11:03:33 +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-corn/8.19.0+ds1-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 11:03:33 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0+ds1-2build1
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-corn (8.19.0+ds1-2build1) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 87e7696c7dd61b43b114ce46fe987c9164ee3cb4 2119 coq-corn_8.19.0+ds1-2build1.dsc
 3352bcfc376c1add6b20b610adf971bec99edb50 4332 coq-corn_8.19.0+ds1-2build1.debian.tar.xz
 b14d1719d29da37d5886a60f9461cb3aaffe5d22 3833 coq-corn_8.19.0+ds1-2build1_source.buildinfo
Checksums-Sha256:
 cf2a802906c45e5189f4dc4557b0693a2fc34c7b69398534f1628bb61f9a63ca 2119 coq-corn_8.19.0+ds1-2build1.dsc
 851b27e7c3a48e6523646d029d7460c9f8e8d09aff823ed7b320277e81b21e5f 4332 coq-corn_8.19.0+ds1-2build1.debian.tar.xz
 ed3b4306bfd5c44f8ef85b4f40263ea7ffa476d5945ff5287bad87e3e9838de5 3833 coq-corn_8.19.0+ds1-2build1_source.buildinfo
Files:
 e503c922610bafdf0a6b6369afadc6b3 2119 ocaml optional coq-corn_8.19.0+ds1-2build1.dsc
 a7d6a165591851a07991a902617a3df8 4332 ocaml optional coq-corn_8.19.0+ds1-2build1.debian.tar.xz
 b2c9762996423eea3dcb88e7f2c2b088 3833 ocaml optional coq-corn_8.19.0+ds1-2build1_source.buildinfo