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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 22 Feb 2024 08:36:38 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/frama-c/20220511-manganese-5build5
-------------- next part --------------
Format: 1.8
Date: Thu, 22 Feb 2024 08:36:38 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build5
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 frama-c (20220511-manganese-5build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7e0c9d165422841d4b97bd7e3d143227149cf482 2364 frama-c_20220511-manganese-5build5.dsc
 4f83c1c832e148633e4bb1d23f7a8281b086caec 16932 frama-c_20220511-manganese-5build5.debian.tar.xz
 037b0ca5f7e07f346cd0b516a91d8ace9cbfdbc5 10138 frama-c_20220511-manganese-5build5_source.buildinfo
Checksums-Sha256:
 a63f249b5390139f788d04713b2c7ebac6af787c0081111f2cadc772051abdb2 2364 frama-c_20220511-manganese-5build5.dsc
 8cd99dd6b451e52dea9b8068e8d2ca51baabb92beab3c3e4373ac31f676a8223 16932 frama-c_20220511-manganese-5build5.debian.tar.xz
 6a42a8c5a43a12b346c975061982e28be606c17a2d8942b502ec9fdd7698c958 10138 frama-c_20220511-manganese-5build5_source.buildinfo
Files:
 207a0543db18a6d3243571c2d7bb4897 2364 devel optional frama-c_20220511-manganese-5build5.dsc
 b47c7a6fee72fd282f6d8db8c2249306 16932 devel optional frama-c_20220511-manganese-5build5.debian.tar.xz
 403a2905d5812f4ad753497cea37d4e5 10138 devel optional frama-c_20220511-manganese-5build5_source.buildinfo