[ubuntu/noble-proposed] flocq 4.1.3-1build1 (Accepted)

[Jeremy Bícha]

flocq (4.1.3-1build1) noble; urgency=medium

  * Rebuild against latest coq

Date: Fri, 22 Dec 2023 20:29:08 -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.1.3-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 20:29:08 -0500
Source: flocq
Built-For-Profiles: noudeb
Architecture: source
Version: 4.1.3-1build1
Distribution: noble
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.1.3-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 55f7590f14396ef3e2a7aa102f28c0d6bde958b0 2020 flocq_4.1.3-1build1.dsc
 df66ddbc51f835fc696768f5350c2afb6ba265c3 1828 flocq_4.1.3-1build1.debian.tar.xz
 391e856f5eccab955ad651e09160da98bbc4964c 7244 flocq_4.1.3-1build1_source.buildinfo
Checksums-Sha256:
 c4a853293518d6a6119aa468756a7cb28a48d2261e54c5dfc6df39eaffea85f0 2020 flocq_4.1.3-1build1.dsc
 b18e650b1f1955802bc8c4eb6551e90b156a8621fc9832534194baa273e4eb2d 1828 flocq_4.1.3-1build1.debian.tar.xz
 952412a3997a99e120032438e6b90cc948c10cd72778049bfaed60f1ece72703 7244 flocq_4.1.3-1build1_source.buildinfo
Files:
 ce2939c25bf6ad92db1b72fc837e2813 2020 ocaml optional flocq_4.1.3-1build1.dsc
 6edda447442d79010d9e37b91ed90e37 1828 ocaml optional flocq_4.1.3-1build1.debian.tar.xz
 369594c63bcde4a81ce69d1e5da27c40 7244 ocaml optional flocq_4.1.3-1build1_source.buildinfo