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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 17 Jul 2023 16:12:32 +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-4build1
-------------- next part --------------
Format: 1.8
Date: Mon, 17 Jul 2023 16:12:32 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4build1
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-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3ba959b822b430073a7953a658020f0c85afeb04 2431 frama-c_20220511-manganese-4build1.dsc
 f709fcd899c96a5074ad7a181f6ba0ce1b8baa42 16884 frama-c_20220511-manganese-4build1.debian.tar.xz
 8196b83c29a1ab0553159511af6a853cbf5c3f9d 10141 frama-c_20220511-manganese-4build1_source.buildinfo
Checksums-Sha256:
 5b730b766f0f333127aaf8fbd6d87cc5e3c867f880265405c0acb3d20afbb902 2431 frama-c_20220511-manganese-4build1.dsc
 29f4bfd81aa909b58aafbaa4cfb2879a82611529591c05d318a1a86b43d9258d 16884 frama-c_20220511-manganese-4build1.debian.tar.xz
 253ab4b30e8a24b57e59514ae1b017dd1a78f0b29b0b97734e6c26baa6b2fc56 10141 frama-c_20220511-manganese-4build1_source.buildinfo
Files:
 25c62482a2e4c12232bed9d477ea84cb 2431 devel optional frama-c_20220511-manganese-4build1.dsc
 a1f784ca457e2b05fa87628b1ae6f40a 16884 devel optional frama-c_20220511-manganese-4build1.debian.tar.xz
 7b0471f2f93596ed76c5b03dfef8c835 10141 devel optional frama-c_20220511-manganese-4build1_source.buildinfo