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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 19 Feb 2024 07:57:00 +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-5build4
-------------- next part --------------
Format: 1.8
Date: Mon, 19 Feb 2024 07:57:00 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build4
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-5build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a2042b5746aa11e95c117c6fafd3788968198aac 2364 frama-c_20220511-manganese-5build4.dsc
 783a03f3973c6cd2450d94e86dba7fbbddfe69e1 16932 frama-c_20220511-manganese-5build4.debian.tar.xz
 9aaf8086268cd5a1f8f54b9815c6b861d655fa3f 10138 frama-c_20220511-manganese-5build4_source.buildinfo
Checksums-Sha256:
 c8b9b95bc99b5e2755672933e4ac23412bbcc1652c5f1aa52775d05286f8103a 2364 frama-c_20220511-manganese-5build4.dsc
 62c5061e04afd3a83f01f11e4187af5b0b67e5ac7f325599c1f5e4d3e0d14118 16932 frama-c_20220511-manganese-5build4.debian.tar.xz
 5a90ebe88d1cac306f0b65f2db964739ef7db62624d39ac4b08a89e633565cad 10138 frama-c_20220511-manganese-5build4_source.buildinfo
Files:
 3f184ece9d01911d28ef3b35617439fc 2364 devel optional frama-c_20220511-manganese-5build4.dsc
 f375b040b39ee0f75d6df5c10d9af5ff 16932 devel optional frama-c_20220511-manganese-5build4.debian.tar.xz
 1606c43fc074250b1de57b580c27dd91 10138 devel optional frama-c_20220511-manganese-5build4_source.buildinfo