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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 28 Jul 2023 05:34:14 +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-4build5
-------------- next part --------------
Format: 1.8
Date: Fri, 28 Jul 2023 05:34:14 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4build5
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-4build5) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 537df2fdb41d68fe157909dd114cf07a5701db3d 2431 frama-c_20220511-manganese-4build5.dsc
 49a741369e56a367cf29c9ce51aefdd03ed65ca5 16916 frama-c_20220511-manganese-4build5.debian.tar.xz
 7826d24f0633166a30187771bf9afe2dca5676a9 10141 frama-c_20220511-manganese-4build5_source.buildinfo
Checksums-Sha256:
 858a2e0843435c3581ef110ef2cb69f33e785b2e584db73c8809c206c39fa7bf 2431 frama-c_20220511-manganese-4build5.dsc
 89f952bce3e2121584c9c69013a499de0ca6905df01811ed3c8c180dd972e443 16916 frama-c_20220511-manganese-4build5.debian.tar.xz
 18937a59183e8e6794ce909fcc70fdcc2724f601a5a3ce96f6ec988fe7f2f5e0 10141 frama-c_20220511-manganese-4build5_source.buildinfo
Files:
 ab73d99e8283cd42252c7bc4c7e0eac6 2431 devel optional frama-c_20220511-manganese-4build5.dsc
 9185095470064b0e3d803680b622a3cd 16916 devel optional frama-c_20220511-manganese-4build5.debian.tar.xz
 2684fb251e04e9a82e392ba8c4b1ca48 10141 devel optional frama-c_20220511-manganese-4build5_source.buildinfo