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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 27 Jul 2023 11:44:38 +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-4build4
-------------- next part --------------
Format: 1.8
Date: Thu, 27 Jul 2023 11:44:38 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4build4
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-4build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c4fc39e1f697de1159db45a5518e2af2ee128570 2431 frama-c_20220511-manganese-4build4.dsc
 994b7f71a3d873c8edffabb7ca97335a29aed569 16916 frama-c_20220511-manganese-4build4.debian.tar.xz
 3d23c1ba847b40e03e5600122f1c45125947204d 10141 frama-c_20220511-manganese-4build4_source.buildinfo
Checksums-Sha256:
 7c1059ae41cb4c9a3935a9253a994497964032d0612480b399bc03f4165dbdcc 2431 frama-c_20220511-manganese-4build4.dsc
 3252eddf1510a4c7f77a6c61227a24680c161617aa4d642fe5dc93d8157e988a 16916 frama-c_20220511-manganese-4build4.debian.tar.xz
 0d87ab6501004f6408d6247f3a0c184146ee820a7029eefedb5c932594f10ffb 10141 frama-c_20220511-manganese-4build4_source.buildinfo
Files:
 f52b271f28c1b401a428aa65e5197085 2431 devel optional frama-c_20220511-manganese-4build4.dsc
 42ef4ee37dbbbc8e4ecc2c63592db4bb 16916 devel optional frama-c_20220511-manganese-4build4.debian.tar.xz
 368e0b31f8d2203fa1a94170ad4edaac 10141 devel optional frama-c_20220511-manganese-4build4_source.buildinfo