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

[Gianfranco Costamagna]

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

  * Cherry-pick build-fix for newer ocaml toolchain (Closes: #1040537)

Date: Sat, 08 Jul 2023 17:30:52 +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-3ubuntu1
-------------- next part --------------
Format: 1.8
Date: Sat, 08 Jul 2023 17:30:52 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-3ubuntu1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Closes: 1040537
Changes:
 frama-c (20220511-manganese-3ubuntu1) mantic; urgency=medium
 .
   * Cherry-pick build-fix for newer ocaml toolchain (Closes: #1040537)
Checksums-Sha1:
 0c8e98986f73f687402bdea3f6abd2fcf920e4eb 2435 frama-c_20220511-manganese-3ubuntu1.dsc
 759a2d756528023a8222c1fb301167d5e4be5779 16648 frama-c_20220511-manganese-3ubuntu1.debian.tar.xz
 29c0fe222e07844e5bb1484cf39ae948ecbed5b3 10145 frama-c_20220511-manganese-3ubuntu1_source.buildinfo
Checksums-Sha256:
 55657b2f201f34cdc687f00e2b2f4957d5f9a8f5d48f238e1fe2fbb34f5c9168 2435 frama-c_20220511-manganese-3ubuntu1.dsc
 b4c711e2fbef6b03aaa6f9d27096982967966bbd6b8d98203b0a139e4f0879c9 16648 frama-c_20220511-manganese-3ubuntu1.debian.tar.xz
 0b3632bfceb18f524d5be5006dc5c41e1885186e71244b21cf90248d14871139 10145 frama-c_20220511-manganese-3ubuntu1_source.buildinfo
Files:
 9e14f43dc7cc46f66bec6856d7cc712b 2435 devel optional frama-c_20220511-manganese-3ubuntu1.dsc
 e3a6449ebc1eb49b271a9894b133fa58 16648 devel optional frama-c_20220511-manganese-3ubuntu1.debian.tar.xz
 1704833f84917b20b335c78750f69b0b 10145 devel optional frama-c_20220511-manganese-3ubuntu1_source.buildinfo