[ubuntu/noble-proposed] frama-c 20220511-manganese-5build7 (Accepted)

[Steve Langasek]

frama-c (20220511-manganese-5build7) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 05:18:58 +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/frama-c/20220511-manganese-5build7
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 05:18:58 +0000
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build7
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 frama-c (20220511-manganese-5build7) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 e65b805e02441ef0f5bd3d2a429412760f4d461c 2480 frama-c_20220511-manganese-5build7.dsc
 0edaa8686a7e51963919c8fdc7b1647e0eb5cc0f 17088 frama-c_20220511-manganese-5build7.debian.tar.xz
 751a3a6fd75a5c3d1677a5f88fc284df998dff86 6620 frama-c_20220511-manganese-5build7_source.buildinfo
Checksums-Sha256:
 216eec71464d31b21cff2b87395b36460ce7ce7043e8311ecd68b64409376037 2480 frama-c_20220511-manganese-5build7.dsc
 a9b991053684ff47ef5315abefb4efc380bcb4b007ef0f3f4045342b6a06e93a 17088 frama-c_20220511-manganese-5build7.debian.tar.xz
 cb8681aa2d8acae0d647643c5093bc3e8bfaffd7190e5cf514a0108a94948a05 6620 frama-c_20220511-manganese-5build7_source.buildinfo
Files:
 764a7e7e9e7c59ff70513e32d2b2737c 2480 devel optional frama-c_20220511-manganese-5build7.dsc
 a014655567b234707eb835782820560f 17088 devel optional frama-c_20220511-manganese-5build7.debian.tar.xz
 11b78fc00cbc76bcb44dd0d19c340829 6620 devel optional frama-c_20220511-manganese-5build7_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>