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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 13 Jun 2024 09:51:27 +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-5build9
-------------- next part --------------
Format: 1.8
Date: Thu, 13 Jun 2024 09:51:27 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build9
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-5build9) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 93f552d138b82d22c7e8b02494f1a51c803881ed 2443 frama-c_20220511-manganese-5build9.dsc
 e7c2d3d2ec67b7d8c4f15212806add5d508db59d 17108 frama-c_20220511-manganese-5build9.debian.tar.xz
 4f418f4e7afe1aa0c45c82b3668acd08d201a175 10228 frama-c_20220511-manganese-5build9_source.buildinfo
Checksums-Sha256:
 1ec76b275151a7413bc76b6d91051328d5a04f78bf816993c4cce780b2730554 2443 frama-c_20220511-manganese-5build9.dsc
 a8f285228e521f6d7e2e291680e24d40045c33dc648e7f00abe9dd97ca7ed160 17108 frama-c_20220511-manganese-5build9.debian.tar.xz
 4ba9a756f5a770aa01111d9fc67ba433bed0a04657b676a629938d0c73b32343 10228 frama-c_20220511-manganese-5build9_source.buildinfo
Files:
 025f3e1ce6e7e1d6a5dd2d52b7987736 2443 devel optional frama-c_20220511-manganese-5build9.dsc
 bfbf119cdbc2fea7da1534b8f3abba06 17108 devel optional frama-c_20220511-manganese-5build9.debian.tar.xz
 908c98b3fdfa1c76f2b5fd709477a7aa 10228 devel optional frama-c_20220511-manganese-5build9_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>