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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 26 Nov 2022 22:41:07 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 26 Nov 2022 22:41:07 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 303e80046fe0870acd2efc4069594e10142c25c9 2450 frama-c_20220511-manganese-2build1.dsc
 0004dbe95e962a4c067fdb99d95bcdbb1855936f 16100 frama-c_20220511-manganese-2build1.debian.tar.xz
 e5f2236e4dd0d27f1cc2e1755ea0aeb5490de326 10132 frama-c_20220511-manganese-2build1_source.buildinfo
Checksums-Sha256:
 752b02aebbf44db2943b82f73d573c35f23fb6bd42d671870502705ed2d98f97 2450 frama-c_20220511-manganese-2build1.dsc
 e3023268f1db5b3d083d67b10c85a056290db180cc1d50b2386248f7614f4bc5 16100 frama-c_20220511-manganese-2build1.debian.tar.xz
 bbf823eacbf378879f375f6c05f6e6dc0baf13920054b03ae0cc1992fe7d7d93 10132 frama-c_20220511-manganese-2build1_source.buildinfo
Files:
 be4f062a9d9af24b26b67be33ee28838 2450 devel optional frama-c_20220511-manganese-2build1.dsc
 fae10a46484c9fa5dc37f51f9488b0cd 16100 devel optional frama-c_20220511-manganese-2build1.debian.tar.xz
 4b47f48c6baae296c63e5b2063908cfa 10132 devel optional frama-c_20220511-manganese-2build1_source.buildinfo