[ubuntu/oracular-proposed] frama-c 20220511-manganese-5build10 (Accepted)

[Gianfranco Costamagna]

frama-c (20220511-manganese-5build10) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 13 Jun 2024 10:49:40 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/frama-c/20220511-manganese-5build10
-------------- next part --------------
Format: 1.8
Date: Thu, 13 Jun 2024 10:49:40 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build10
Distribution: oracular
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 frama-c (20220511-manganese-5build10) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 86bbc61c4244224da37066cb31e6c3c2a29b6906 2447 frama-c_20220511-manganese-5build10.dsc
 5621870a456aec85458854e21d6d0a96942eed15 17128 frama-c_20220511-manganese-5build10.debian.tar.xz
 b0928f1e7e5853346cf787ba2d281c488c42afb5 10232 frama-c_20220511-manganese-5build10_source.buildinfo
Checksums-Sha256:
 5c6e1463908e0ece080ff390037cfa27cfeccb42995298892f9b9dacb1c62807 2447 frama-c_20220511-manganese-5build10.dsc
 02fd7ac60a35c47e5c2c01695a57db50fb94103d8f9cef14134c3718f8e35982 17128 frama-c_20220511-manganese-5build10.debian.tar.xz
 5365bd0b449ac850a587f38097197710fab4e6fa888b2f97ff3a4bf6b6345430 10232 frama-c_20220511-manganese-5build10_source.buildinfo
Files:
 e5dee9b16016199ecc6dc2066fd85588 2447 devel optional frama-c_20220511-manganese-5build10.dsc
 85b7aeb4c3135711cc254f9a722599f2 17128 devel optional frama-c_20220511-manganese-5build10.debian.tar.xz
 e5f08ae796e59ecf35b4c3955be3d493 10232 devel optional frama-c_20220511-manganese-5build10_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>