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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 14 Jun 2024 06:54:01 +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-5build11
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Jun 2024 06:54:01 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build11
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-5build11) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 317d435f02852ea471586acdf667b5c363465a51 2447 frama-c_20220511-manganese-5build11.dsc
 2c4f537afce55d7402b0e4e6d65c3d34ff59ed29 17132 frama-c_20220511-manganese-5build11.debian.tar.xz
 baa6a55e2d9ca6dfea2a62fc9c5332ae3913aaf6 10257 frama-c_20220511-manganese-5build11_source.buildinfo
Checksums-Sha256:
 0de7e86aa52d11a33aa5540d80babda08a8dac43b735e4924b0f873a123a5b6f 2447 frama-c_20220511-manganese-5build11.dsc
 e5cdcb6fcba6025bc084e02f41384209f79c1dd55dc0bf501dcfbbdb6592b2fa 17132 frama-c_20220511-manganese-5build11.debian.tar.xz
 d59949e201b7bbeb090ce54542c36f3cc660f64a8ae2c71bdf70817b0feef969 10257 frama-c_20220511-manganese-5build11_source.buildinfo
Files:
 4908ffd56bb7db9149063ecc6deb59da 2447 devel optional frama-c_20220511-manganese-5build11.dsc
 ee5f8cd37d36cf39558de7af68bd096c 17132 devel optional frama-c_20220511-manganese-5build11.debian.tar.xz
 7009898f827ade1844f0abf76131ad19 10257 devel optional frama-c_20220511-manganese-5build11_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>