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

[Steve Langasek]

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

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:16:08 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/flocq/4.1.3-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:16:08 +0000
Source: flocq
Built-For-Profiles: noudeb
Architecture: source
Version: 4.1.3-1build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 flocq (4.1.3-1build2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 3e99fcb5b26f7de9d4d6225e1110121266796d48 2136 flocq_4.1.3-1build2.dsc
 af3e88b2bd5cb2282534411b218fdff213525904 1936 flocq_4.1.3-1build2.debian.tar.xz
 c1d28287f983dc57aefaa36c83364b3d9ee68eeb 6694 flocq_4.1.3-1build2_source.buildinfo
Checksums-Sha256:
 26b3df77ee36ccfea7c9212dcce61d9b20002db18d436fd4bba316dfef7fe27e 2136 flocq_4.1.3-1build2.dsc
 2c681df6f0f6292421a81da808f2d6ee2328a2e1d969e4823e9cdb179b74c966 1936 flocq_4.1.3-1build2.debian.tar.xz
 43344f2acdfab521aa19fc63eebe4ac0c5f4b1db1ce63c4d33302aad46acb564 6694 flocq_4.1.3-1build2_source.buildinfo
Files:
 812bf3938d42f8bef894c91ae655898b 2136 ocaml optional flocq_4.1.3-1build2.dsc
 26216dccd39a26dc4e6c3fb64b7f8a51 1936 ocaml optional flocq_4.1.3-1build2.debian.tar.xz
 471e76e420a8f09590a51a1c280c50ad 6694 ocaml optional flocq_4.1.3-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>