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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:12:29 +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-5build1
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:12:29 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build1
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-5build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8382588a1af6bdbdbb551344897325e8cb12ba87 2364 frama-c_20220511-manganese-5build1.dsc
 2425069743f9942fdb01873299878ccb3887560f 16852 frama-c_20220511-manganese-5build1.debian.tar.xz
 a2072a904232ac3e9d0032109c1adf31f60296ad 10135 frama-c_20220511-manganese-5build1_source.buildinfo
Checksums-Sha256:
 b567e18584a4dfe24b2d364438b675929767cc4a81e2cdd0f5ae5547cd47151b 2364 frama-c_20220511-manganese-5build1.dsc
 4219ba2ffc5bd6e4a782a61784b25bbe288a4f8c586d45af2df49d59a786817d 16852 frama-c_20220511-manganese-5build1.debian.tar.xz
 01ed87160291117c1fb03b53d01c58421f9e639dfe6d83f377da5ceeffb99e76 10135 frama-c_20220511-manganese-5build1_source.buildinfo
Files:
 36234ae5187fc2ec315ca970e254bcfe 2364 devel optional frama-c_20220511-manganese-5build1.dsc
 d95c329068c3a6d2502a4f1b372df7c8 16852 devel optional frama-c_20220511-manganese-5build1.debian.tar.xz
 1d74c584db2c2c4e45d50991712a22de 10135 devel optional frama-c_20220511-manganese-5build1_source.buildinfo