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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 12:48:58 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 12:48:58 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-3build1
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-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3a87790c2fafe4356b43ef9365652bcb7b386dcd 2431 frama-c_20220511-manganese-3build1.dsc
 cd61bffa7e1a9648ec8e0352401c96ddcb463b80 16232 frama-c_20220511-manganese-3build1.debian.tar.xz
 06dce6b074ef7591b67eec0db65534ff764fc662 9443 frama-c_20220511-manganese-3build1_source.buildinfo
Checksums-Sha256:
 61e24c69667e064ce17354180f02a9644b2b2d5f7970262e9b1fe08474c7e13e 2431 frama-c_20220511-manganese-3build1.dsc
 a7310025383528ae7c0437da55dc52b05f58fcc9f9424010df882229062c201a 16232 frama-c_20220511-manganese-3build1.debian.tar.xz
 0d8992990366dbd9ca33815a58df953a514fba3b26643776ae8f9138d016d39e 9443 frama-c_20220511-manganese-3build1_source.buildinfo
Files:
 806769464c4607dd3abfda317ccc581d 2431 devel optional frama-c_20220511-manganese-3build1.dsc
 295736613f87f5a644c7c85d4cefe715 16232 devel optional frama-c_20220511-manganese-3build1.debian.tar.xz
 00cfe50a55ee346dc0828ce89a5ab54a 9443 devel optional frama-c_20220511-manganese-3build1_source.buildinfo