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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 28 Aug 2023 16:00:03 +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-4build6
-------------- next part --------------
Format: 1.8
Date: Mon, 28 Aug 2023 16:00:03 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4build6
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-4build6) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d939082a0235331bca53d4a8c17e54732efeccd1 2431 frama-c_20220511-manganese-4build6.dsc
 ba24fe2d5bb660fe15794954481f0b9a9f69f479 16944 frama-c_20220511-manganese-4build6.debian.tar.xz
 da095c9cc7711bd6dd43ec8620ce9178b5615a66 10135 frama-c_20220511-manganese-4build6_source.buildinfo
Checksums-Sha256:
 aa6eee161448330c3d45beeb2ad74a423fa195550636cfc5abf55de5dd5cbb48 2431 frama-c_20220511-manganese-4build6.dsc
 1951af1e8226aa6cd9646aa8d474a036a102a794e461702f97eae0ddd94f810c 16944 frama-c_20220511-manganese-4build6.debian.tar.xz
 0413fec38cfcddcb5a02ca4910b7f9574e129d2e63506caeb036f98474f0c10d 10135 frama-c_20220511-manganese-4build6_source.buildinfo
Files:
 deac3083ee45452608324c5a3a4b2652 2431 devel optional frama-c_20220511-manganese-4build6.dsc
 c47e7e100faf3c86dfa8b016059c8a5e 16944 devel optional frama-c_20220511-manganese-4build6.debian.tar.xz
 bb579622cc37ab3192f93b5e4cf808b1 10135 devel optional frama-c_20220511-manganese-4build6_source.buildinfo