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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABI changes.

Date: Tue, 19 Nov 2024 13:55:08 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/frama-c/20220511-manganese-5build15
-------------- next part --------------
Format: 1.8
Date: Tue, 19 Nov 2024 13:55:08 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build15
Distribution: plucky
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 frama-c (20220511-manganese-5build15) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 0cef847e9c0bbbf4914a8f9553e657b5014ffef7 2447 frama-c_20220511-manganese-5build15.dsc
 1ff3c84fb35dc0548417607cbba1f2307bce7be6 17236 frama-c_20220511-manganese-5build15.debian.tar.xz
 d45dd98a4ccec11368ad310b0b085743fe5c16b8 3865 frama-c_20220511-manganese-5build15_source.buildinfo
Checksums-Sha256:
 287dbbfea42d1c6059f6426ed83cf757c14fd1ce227873aa641039efcb3e6b2a 2447 frama-c_20220511-manganese-5build15.dsc
 60ab69d886af90d785fc65509c63a37da8880c6bed0aeeef342778a242b55b3e 17236 frama-c_20220511-manganese-5build15.debian.tar.xz
 b5d8833bc79c9ca331a70b979a9b1a2137a0f372efe4c2fd924b9d1b85c18bf0 3865 frama-c_20220511-manganese-5build15_source.buildinfo
Files:
 8cf7afff44c3df440400bff3eb9e0099 2447 devel optional frama-c_20220511-manganese-5build15.dsc
 51d34254e58b4a7ea09f6b6f7358b97b 17236 devel optional frama-c_20220511-manganese-5build15.debian.tar.xz
 c9186427a94d67182838592c459fbff9 3865 devel optional frama-c_20220511-manganese-5build15_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>