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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:50:12 +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-5build12
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:50:12 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build12
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-5build12) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 97e152690e0ed7d88627977510d5ffb545e89964 2447 frama-c_20220511-manganese-5build12.dsc
 759cc26b574b42d42d8c19219c7883129f40eae8 17140 frama-c_20220511-manganese-5build12.debian.tar.xz
 a2a68898d37217923ffe2df1c02543a2519e1d04 10281 frama-c_20220511-manganese-5build12_source.buildinfo
Checksums-Sha256:
 d7fb6ae23f2540ff237a5ec08973267d0007aadb4bfff8d8fc2218304c239797 2447 frama-c_20220511-manganese-5build12.dsc
 44e9556f971da9c6fbd142013126c4d439d3bbe00c87dca61e4d50dcb4de0906 17140 frama-c_20220511-manganese-5build12.debian.tar.xz
 57322bda6b700520123935334d9eba8ef548baf9e3e08c98899a6440bfeb1b3e 10281 frama-c_20220511-manganese-5build12_source.buildinfo
Files:
 4f1fe98c040b3658b8f7e80ccaa05c7c 2447 devel optional frama-c_20220511-manganese-5build12.dsc
 7d76957499ede0b01d09c6c636ca2807 17140 devel optional frama-c_20220511-manganese-5build12.debian.tar.xz
 4831b9a0f78a977272847a38963135f6 10281 devel optional frama-c_20220511-manganese-5build12_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>