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

[Gianfranco Costamagna]

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

  * Rebuild against 'new OCAML ABIs'.

Date: Fri, 15 Dec 2023 07:55:32 +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-5build2
-------------- next part --------------
Format: 1.8
Date: Fri, 15 Dec 2023 07:55:32 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build2
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-5build2) noble; urgency=medium
 .
   * Rebuild against 'new OCAML ABIs'.
Checksums-Sha1:
 fb922c186431a26cb29f6794cd5f698be2ee845f 2364 frama-c_20220511-manganese-5build2.dsc
 b9fa1e37782ae95dc87b1a30be7b3f4a986d34c5 16868 frama-c_20220511-manganese-5build2.debian.tar.xz
 691a8a7e233300ede8ce7411966f916eb9c0eded 10136 frama-c_20220511-manganese-5build2_source.buildinfo
Checksums-Sha256:
 5aa04c9decd1fa394387c4b5c8c851732a4ee66af58ffa7ca3a909347c6eb7fb 2364 frama-c_20220511-manganese-5build2.dsc
 71f082bcb7f70f4df346e94e891b6f777936b3627d7c962765efccbfa03cd4c6 16868 frama-c_20220511-manganese-5build2.debian.tar.xz
 edf6d4b11c31ff4d65c6f7e6e85996f8a5d96d7c9c5ad7d4fbacd8b2c3ad7a89 10136 frama-c_20220511-manganese-5build2_source.buildinfo
Files:
 51ee455b11f93ea3ce7041e75e0c7075 2364 devel optional frama-c_20220511-manganese-5build2.dsc
 f1325a395bb10fc0fe02c32c7339fb0d 16868 devel optional frama-c_20220511-manganese-5build2.debian.tar.xz
 7ce960ad0f150be8742afab96804e4ac 10136 devel optional frama-c_20220511-manganese-5build2_source.buildinfo