[ubuntu/plucky-proposed] flocq 4.2.1-1build1 (Accepted)

[Matthias Klose]

flocq (4.2.1-1build1) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:13 +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/flocq/4.2.1-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:13 +0100
Source: flocq
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.1-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 flocq (4.2.1-1build1) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 bd0644b873d1247779b97fed711a347ebae1e144 2020 flocq_4.2.1-1build1.dsc
 e543b9049c22de4f94e2e94a3a145ad22da0dabc 2016 flocq_4.2.1-1build1.debian.tar.xz
 6768a17f3b9a4262c8ae588f1acf9db09700edc9 3807 flocq_4.2.1-1build1_source.buildinfo
Checksums-Sha256:
 69f9e307b0756a1bcbf9e2ff9dd59c47be3cac0b787abd4fd479ac07025812c6 2020 flocq_4.2.1-1build1.dsc
 d18b919423785fa5e145c2da0ca6bd9b2da6fd8d826b9eb4460190b12deb8d39 2016 flocq_4.2.1-1build1.debian.tar.xz
 1f6b28eae45172b8e017bb706576f1043221785d7b388d82292a18b9f2bbdc9c 3807 flocq_4.2.1-1build1_source.buildinfo
Files:
 be2b22f310313cdd4b2e5df56d36bf9d 2020 ocaml optional flocq_4.2.1-1build1.dsc
 360628f54b23d62215efca5b99f86afd 2016 ocaml optional flocq_4.2.1-1build1.debian.tar.xz
 eaaf63a5583ed06c424d78a1c8ca2d01 3807 ocaml optional flocq_4.2.1-1build1_source.buildinfo