[ubuntu/plucky-proposed] frama-c 20220511-manganese-5build17 (Accepted)

[Gianfranco Costamagna]

frama-c (20220511-manganese-5build17) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:30:39 +0100
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-5build17
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:30:39 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build17
Distribution: plucky
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-5build17) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 96e629b5937d8e429fe728c3350aeeca3e09db98 2447 frama-c_20220511-manganese-5build17.dsc
 47c4c7da34f979c14fd4379af2a65513f0013256 17248 frama-c_20220511-manganese-5build17.debian.tar.xz
 4a6e77835648054fb391e587970879ed61bec2a7 7804 frama-c_20220511-manganese-5build17_source.buildinfo
Checksums-Sha256:
 ceebb1b18ee2b454042c4e079ec38be4a7dfa2361ea9fdd2f6e49808bf565a06 2447 frama-c_20220511-manganese-5build17.dsc
 6a370bf1c1fd46dde40a0c8908fe5d7232c0ebad9cab7eeb1b8edfdf5aaa8544 17248 frama-c_20220511-manganese-5build17.debian.tar.xz
 aedad21112f2e179fc682a9b4d5da74b1c8f6006b14666f020e053ea1612f6dc 7804 frama-c_20220511-manganese-5build17_source.buildinfo
Files:
 9ad0b06aee7d6f357136da2d1bedeb21 2447 devel optional frama-c_20220511-manganese-5build17.dsc
 5d7b9cc03f64c8f647753c89bb0512a9 17248 devel optional frama-c_20220511-manganese-5build17.debian.tar.xz
 8956d3653595c8d07cc30ef69a0e16a0 7804 devel optional frama-c_20220511-manganese-5build17_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>