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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 11 Sep 2023 14:46:01 +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-4build7
-------------- next part --------------
Format: 1.8
Date: Mon, 11 Sep 2023 14:46:01 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4build7
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-4build7) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 054de86f04c3b891046de65d7725b17ef2158ff7 2431 frama-c_20220511-manganese-4build7.dsc
 21614a4d5f7363926ea2f10961d361276dcb5fbf 16940 frama-c_20220511-manganese-4build7.debian.tar.xz
 3d1600a0b8dbd3d9670fb531764e9fdabf1e21cd 10135 frama-c_20220511-manganese-4build7_source.buildinfo
Checksums-Sha256:
 b8aa06ec9eb4b20880ffd7e51faf33cf5a1d2375365f7f9cbd540716b6f7074b 2431 frama-c_20220511-manganese-4build7.dsc
 b00dbeff904552f83c44df70d1ff760c8c0943cfe6cf86209f2ac1b2c4a92426 16940 frama-c_20220511-manganese-4build7.debian.tar.xz
 5ff12b1b1bdd3386cf822a7849e78d835a2af1f67bbff7e3a5a42aaf1771b444 10135 frama-c_20220511-manganese-4build7_source.buildinfo
Files:
 719db266fee8e3dbe8be3eea2c6162a2 2431 devel optional frama-c_20220511-manganese-4build7.dsc
 7e01e6330ebf66001f5e38d49bd578fe 16940 devel optional frama-c_20220511-manganese-4build7.debian.tar.xz
 36a3ef8a08a026334a8534e7213c602d 10135 devel optional frama-c_20220511-manganese-4build7_source.buildinfo