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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:40:34 +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-5build8
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:40:34 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build8
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-5build8) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 de8d04068c28a867f8211f4738e60ca0e12d259a 2443 frama-c_20220511-manganese-5build8.dsc
 0442665fd05896488e1666e5cc5e51a84db378ae 17096 frama-c_20220511-manganese-5build8.debian.tar.xz
 f68a0c0ae3075656281cfa512b165f6d5904af8e 10253 frama-c_20220511-manganese-5build8_source.buildinfo
Checksums-Sha256:
 7d23172159be90c4eb59129c27fdf05c8f3ec33fc71a4b3a445a9d17238230c7 2443 frama-c_20220511-manganese-5build8.dsc
 8e73369772b17d1c88f19676cc849d4c424433eaf0a74b5267f3b252d990e474 17096 frama-c_20220511-manganese-5build8.debian.tar.xz
 0b6431ada33e106c6b52b238782061ee9178bd9280e87d7c21d7ab6e6400f1cc 10253 frama-c_20220511-manganese-5build8_source.buildinfo
Files:
 b6bd3fe2ac91c064b10def4459d5e984 2443 devel optional frama-c_20220511-manganese-5build8.dsc
 d1273da1035c1f75dfd1949856b992bb 17096 devel optional frama-c_20220511-manganese-5build8.debian.tar.xz
 f99c5fb74a040b51d3da0948f9007772 10253 devel optional frama-c_20220511-manganese-5build8_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>