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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 21 Aug 2024 10:05:10 +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-5build13
-------------- next part --------------
Format: 1.8
Date: Wed, 21 Aug 2024 10:05:10 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build13
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-5build13) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9ae75cd5ef91c7ff11a39decd37c084b3f857cb2 2447 frama-c_20220511-manganese-5build13.dsc
 1e470ddb41b4707ae0adf3cef4d8f3594b87f31b 17136 frama-c_20220511-manganese-5build13.debian.tar.xz
 829514b5f3b831ec2eb57d84a7bc2d01dc88cee8 10281 frama-c_20220511-manganese-5build13_source.buildinfo
Checksums-Sha256:
 05b60b3e6f781dbffe7117a31f6dd3a1227362078442239da8edcc86be66f856 2447 frama-c_20220511-manganese-5build13.dsc
 a14784de7f2ddc99b3fbbd81d5c0c16d9bb5d2049c45cbfda3ad8ff9033d77c6 17136 frama-c_20220511-manganese-5build13.debian.tar.xz
 f813cccd33da1b2086b55afb37c4329e2df0eeb0ed5357dbd7e10fcadaad24fb 10281 frama-c_20220511-manganese-5build13_source.buildinfo
Files:
 288c77d769dc60776763649d768c4f9f 2447 devel optional frama-c_20220511-manganese-5build13.dsc
 b07f00a198fb4e23b61932b79d7cb468 17136 devel optional frama-c_20220511-manganese-5build13.debian.tar.xz
 30c0dfa61bcd9c8dd63d7a8a52e166a5 10281 devel optional frama-c_20220511-manganese-5build13_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>