[ubuntu/noble-proposed] coq-quickchick 2.0.2-1build3 (Accepted)

[Steve Langasek]

coq-quickchick (2.0.2-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:14:37 +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/coq-quickchick/2.0.2-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:14:37 +0000
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-quickchick (2.0.2-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 62521df22ac45babcee542562cfda2f534603267 2390 coq-quickchick_2.0.2-1build3.dsc
 5078996968a098842f4f0d96127a7be59ca257b3 3260 coq-quickchick_2.0.2-1build3.debian.tar.xz
 da564b84b12e4822d62b78d848c8a03bab9c7fa8 6730 coq-quickchick_2.0.2-1build3_source.buildinfo
Checksums-Sha256:
 11043c7aca0875442a22acb5b8ad666557dbe793cd05423ca8d36f0078bdfcec 2390 coq-quickchick_2.0.2-1build3.dsc
 27725eea5a0b4a98e94287f34ce14fde2c35a25782fbb45554e9269a80d29091 3260 coq-quickchick_2.0.2-1build3.debian.tar.xz
 af7d2ceda29040c7748d4a33a7d05828c80371cd547f8e4a5025f71c03d63364 6730 coq-quickchick_2.0.2-1build3_source.buildinfo
Files:
 7f260d6f850501dfabd9e2c1bdbf8339 2390 ocaml optional coq-quickchick_2.0.2-1build3.dsc
 08d55d3ce1c73ad8faae283dd2823cc8 3260 ocaml optional coq-quickchick_2.0.2-1build3.debian.tar.xz
 a6e7585f0ff43ccdc91c7a11aedd23be 6730 ocaml optional coq-quickchick_2.0.2-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>