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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 07 Jul 2023 20:28:49 +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-3build4
-------------- next part --------------
Format: 1.8
Date: Fri, 07 Jul 2023 20:28:49 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-3build4
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-3build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 66871f54f94223c2a1c5b8c12c9102d407aa0584 2431 frama-c_20220511-manganese-3build4.dsc
 8250a72ecba04c7ff8a4ff549c1df9553700e419 16292 frama-c_20220511-manganese-3build4.debian.tar.xz
 1d95589c4cbbf1de108d9f191671cbf0fd7dcada 10141 frama-c_20220511-manganese-3build4_source.buildinfo
Checksums-Sha256:
 93737f052782e93c17d3f15ea5ea6a2c2498bc8591eec41ecc91c3b3d474dd4d 2431 frama-c_20220511-manganese-3build4.dsc
 9e819e25773c0aef893c358abe2016cd4e8e6f67abaa94c05b53bbd73cd74722 16292 frama-c_20220511-manganese-3build4.debian.tar.xz
 a1f0ce67c7f446a1c01d2881c4f2fd60cec913a6695cd96d0feb07fd6cb5b5c6 10141 frama-c_20220511-manganese-3build4_source.buildinfo
Files:
 0be5777885aa150122a290ad45783cfb 2431 devel optional frama-c_20220511-manganese-3build4.dsc
 e7312ee9159e924b073a7d745b9caecf 16292 devel optional frama-c_20220511-manganese-3build4.debian.tar.xz
 eb7cbc36333c8c1a15541c410eca6d21 10141 devel optional frama-c_20220511-manganese-3build4_source.buildinfo