[ubuntu/plucky-proposed] frama-c 20220511-manganese-5build16 (Accepted)

[Gianfranco Costamagna]

frama-c (20220511-manganese-5build16) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 25 Jan 2025 15:25:05 +0100
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-5build16
-------------- next part --------------
Format: 1.8
Date: Sat, 25 Jan 2025 15:25:05 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build16
Distribution: plucky
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-5build16) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f4da6381c158a7801c389ae9f314febc7ed9ed7c 2447 frama-c_20220511-manganese-5build16.dsc
 96698ca3f48126d232c47a6c5b93fe3cd10875cf 17252 frama-c_20220511-manganese-5build16.debian.tar.xz
 72f8e7aa9896ab5af4644f9163eec3da41393ea1 8082 frama-c_20220511-manganese-5build16_source.buildinfo
Checksums-Sha256:
 cbc731202a44a41d2be5b79a9be6e7142b51b078ad65fb5b1b6f0956c89d5f8a 2447 frama-c_20220511-manganese-5build16.dsc
 939fb9fdf201013536fe43d63f737821631fc0b5ad91e1735865250981acd0a6 17252 frama-c_20220511-manganese-5build16.debian.tar.xz
 de0ee0fe18ce00ba8b1c09c8c9ecc8976ed94f84d4544218977afbf24492c2ad 8082 frama-c_20220511-manganese-5build16_source.buildinfo
Files:
 3de9d3d411d15fbac738a2d91200c9ac 2447 devel optional frama-c_20220511-manganese-5build16.dsc
 36bbaad54c3c0e9439efe5d6f7eb96e8 17252 devel optional frama-c_20220511-manganese-5build16.debian.tar.xz
 15c15c47fcea4262bde9d13c48816318 8082 devel optional frama-c_20220511-manganese-5build16_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>