[ubuntu/mantic-proposed] frama-c 20220511-manganese-4build2 (Accepted)

[Gianfranco Costamagna]

frama-c (20220511-manganese-4build2) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 18 Jul 2023 08:05:35 +0200
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-4build2
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Jul 2023 08:05:35 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4build2
Distribution: mantic
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-4build2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 92f0064a5c32750bbfb6ba57e9d82ee9ac9e0f41 2431 frama-c_20220511-manganese-4build2.dsc
 f8986cdd41077dd1e245174d658cdcab52846d26 16900 frama-c_20220511-manganese-4build2.debian.tar.xz
 8228023f745b277d627c1ae5f12f7f0eb866f07e 10141 frama-c_20220511-manganese-4build2_source.buildinfo
Checksums-Sha256:
 8c26edceadc1d10cded380126eef375d6a06c140feb55d1e4d3dccfa259777f8 2431 frama-c_20220511-manganese-4build2.dsc
 d95cd0daa9c96368b05ac83308b49c501b191283b821e425ece74fa0a47f70bd 16900 frama-c_20220511-manganese-4build2.debian.tar.xz
 803fd1cbde177687585091e69b55644c7e26939dc5cb0d674ce477a9c644d2f1 10141 frama-c_20220511-manganese-4build2_source.buildinfo
Files:
 c7f2ae7d39d35cfc6ba23ae5fff36602 2431 devel optional frama-c_20220511-manganese-4build2.dsc
 6574f93bd82fea0570caba0bf76d43a5 16900 devel optional frama-c_20220511-manganese-4build2.debian.tar.xz
 9bc7d5d3ade64b537be43bbdaf2b950a 10141 devel optional frama-c_20220511-manganese-4build2_source.buildinfo