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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:13:55 +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-4build3
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:13:55 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4build3
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-4build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b4408ef59adbb534d47df851f55360dffcbe1e95 2431 frama-c_20220511-manganese-4build3.dsc
 c416e4ea1905e21ca3a9d7cdeab435a20945e4ed 16916 frama-c_20220511-manganese-4build3.debian.tar.xz
 0afb08fdc24b136d0c733ee63720873c8eb42b4b 10141 frama-c_20220511-manganese-4build3_source.buildinfo
Checksums-Sha256:
 6dc2da017ab09db9c8962fcfd1d4a56133be7f9171fd59ba2b673caca1e3d82f 2431 frama-c_20220511-manganese-4build3.dsc
 d1dd77dd98ea144538deb5a2ef276c2e45dd8b944902d9d6cc2bd48f885c2890 16916 frama-c_20220511-manganese-4build3.debian.tar.xz
 a57f6f0a3eaedd1061525ca1d5224d33b3c944227287b8319388a3e7121022b6 10141 frama-c_20220511-manganese-4build3_source.buildinfo
Files:
 e0df18501dfe6cd6bf09af00e693a0b8 2431 devel optional frama-c_20220511-manganese-4build3.dsc
 b4f644c7f1c21a1e0ac5831405741810 16916 devel optional frama-c_20220511-manganese-4build3.debian.tar.xz
 65c3c782af9d7377a3117bfaed65d854 10141 devel optional frama-c_20220511-manganese-4build3_source.buildinfo