[ubuntu/lunar-proposed] frama-c 20220511-manganese-3build2 (Accepted)

[Gianfranco Costamagna]

frama-c (20220511-manganese-3build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:56:59 +0100
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-3build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:56:59 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-3build2
Distribution: lunar
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-3build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 fc665acb25c2356da18ef1931e4211fc8d31def6 2431 frama-c_20220511-manganese-3build2.dsc
 84600fda8701274253aa15c330cebe6f0d207fa0 16272 frama-c_20220511-manganese-3build2.debian.tar.xz
 3fcb7ac89dd101400adbef9aa208758383fb9248 9487 frama-c_20220511-manganese-3build2_source.buildinfo
Checksums-Sha256:
 a0c45b8419c2381c630a05e373c18853d104232aadbe2c1922ce8eb9144113e8 2431 frama-c_20220511-manganese-3build2.dsc
 e725177707a9ed95bfed123b8a93715c65ee9a7c391457375962e8faa94babf5 16272 frama-c_20220511-manganese-3build2.debian.tar.xz
 a71ac97ee9af7f1a298b82079922a25d744790ba972cfea6907c4d81c8729158 9487 frama-c_20220511-manganese-3build2_source.buildinfo
Files:
 d96773ab598c445cfb44a265cb4f7fb6 2431 devel optional frama-c_20220511-manganese-3build2.dsc
 a29f9dcb360daf54bb3204a9f903b4fc 16272 devel optional frama-c_20220511-manganese-3build2.debian.tar.xz
 3861e3f25fe2267c8ac4b24da252196d 9487 devel optional frama-c_20220511-manganese-3build2_source.buildinfo