[ubuntu/noble-proposed] paramcoq 1.1.3+coq8.18-1build2 (Accepted)

[William Grant]

paramcoq (1.1.3+coq8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Mon, 01 Apr 2024 16:15:42 +1100
Changed-By: William Grant <wgrant at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/paramcoq/1.1.3+coq8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 01 Apr 2024 16:15:42 +1100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.18-1build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: William Grant <wgrant at ubuntu.com>
Changes:
 paramcoq (1.1.3+coq8.18-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 dfe5f593bb767caf592815a39f0ba3f5fafa792f 2189 paramcoq_1.1.3+coq8.18-1build2.dsc
 c4f3d9121fe9c28b17690d8b2a5c4ab72707702b 3244 paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz
 4e6bdc2ec25792e8e49d9862cdc075890f04f56b 6819 paramcoq_1.1.3+coq8.18-1build2_source.buildinfo
Checksums-Sha256:
 3b4b55a0614e960688efa6a4cc2b336e5d628df495e0b8d098ee90abb94b3ad1 2189 paramcoq_1.1.3+coq8.18-1build2.dsc
 43085f9fd200665f431b496cf0b5993d0765e98b94910896d6fcd7a21fe443d6 3244 paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz
 eb1c6985112b5a099ff9e4a98fe0d2dc85f0b3010b58170f695a712be2fcd638 6819 paramcoq_1.1.3+coq8.18-1build2_source.buildinfo
Files:
 0fbc9e3ab16c7724dc2fbe7299adc62a 2189 ocaml optional paramcoq_1.1.3+coq8.18-1build2.dsc
 1156c57dfd6f72b59477f451a520aeea 3244 ocaml optional paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz
 11cf5cf16a2c7ae913e0fd65ebaa2f55 6819 ocaml optional paramcoq_1.1.3+coq8.18-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>