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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:32:28 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/flocq/4.2.0-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:32:28 -0500
Source: flocq
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.0-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 flocq (4.2.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 8916437998ed25b546d3441db75c78353fc498b7 2020 flocq_4.2.0-1build1.dsc
 3f14287d5b166025f74ccdfbbd57762a5bf40ce7 1992 flocq_4.2.0-1build1.debian.tar.xz
 f13a2956c1ea3ba8d0db03aa9530411778069c8e 6945 flocq_4.2.0-1build1_source.buildinfo
Checksums-Sha256:
 e802a8ef8d8fed0e4b047c69203cefeceecf3bc237486d3810dee7f64ead9b4d 2020 flocq_4.2.0-1build1.dsc
 f06b20901c2bb88b90c9fd118c3d64eb7baa72d5132e44c2c94c2a9bb0097fdc 1992 flocq_4.2.0-1build1.debian.tar.xz
 9e71f0ba118041e90f4dc01e535d91c24893f41767e2c0183a4f3940a43d5938 6945 flocq_4.2.0-1build1_source.buildinfo
Files:
 fee530b19afa97f0284ed4271ae3f2ac 2020 ocaml optional flocq_4.2.0-1build1.dsc
 12736f0960151334b4cd2cd15c03971c 1992 ocaml optional flocq_4.2.0-1build1.debian.tar.xz
 c16778db1fc22111af80424178026e88 6945 ocaml optional flocq_4.2.0-1build1_source.buildinfo