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

Steve Langasek steve.langasek at ubuntu.com
Sun Mar 31 17:56:15 UTC 2024


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

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:55:10 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:55:10 +0000
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build4
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-1build4) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 7b299559693355248351b95c5d9d687bc5906aff 2390 coq-quickchick_2.0.2-1build4.dsc
 a9381a13ce09cd5f0858847b1dc8df43d183e206 3292 coq-quickchick_2.0.2-1build4.debian.tar.xz
 d4a4229389c765daeeb760d5548d1dedc7425eb7 6596 coq-quickchick_2.0.2-1build4_source.buildinfo
Checksums-Sha256:
 98727f1101c357a225411b0b0059f970bbfa9116e2b1b941ff4b7b03fbcfb3c8 2390 coq-quickchick_2.0.2-1build4.dsc
 b24df7f9dd88e1b377ccf1cb9e2285bc67d1a9142bdaeb0658d9064b613c3224 3292 coq-quickchick_2.0.2-1build4.debian.tar.xz
 81f94385996e3433a6f5525f0d45687930edf10f7486ca5ecc5570f2713c24a5 6596 coq-quickchick_2.0.2-1build4_source.buildinfo
Files:
 e4a1fd767f6dfa1bb3ae21470d199ad5 2390 ocaml optional coq-quickchick_2.0.2-1build4.dsc
 64f97a589a1f21530007ef61200a0a12 3292 ocaml optional coq-quickchick_2.0.2-1build4.debian.tar.xz
 8c6e97eee99b38bed3a95a68133b8f23 6596 ocaml optional coq-quickchick_2.0.2-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list