Format: 1.8
Date: Mon, 17 Jul 2023 16:12:32 +0200
Source: frama-c
Binary: frama-c-base
Built-For-Profiles: noudeb
Architecture: amd64
Version: 20220511-manganese-4build1
Distribution: mantic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-105.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 frama-c-base - Platform dedicated to the analysis of source code written in C
Changes:
 frama-c (20220511-manganese-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3ae20b4c547944fe9e6e70cebe27eaec40943592 6303542 frama-c-base-dbgsym_20220511-manganese-4build1_amd64.ddeb
 f9d757264a66eecc44701dcc9471499c4e1cd95c 76030334 frama-c-base_20220511-manganese-4build1_amd64.deb
 759bb0ff12fbe1265a4d2768cdd1d318014b166a 16875 frama-c_20220511-manganese-4build1_amd64.buildinfo
Checksums-Sha256:
 8735d820a52109027c5f661f6d7a2a22d682cea105263ba86408579085d3b47e 6303542 frama-c-base-dbgsym_20220511-manganese-4build1_amd64.ddeb
 58cd0b0c1a68995a71f81ae4422d07085bb5877b81cf26afd85547c2129396eb 76030334 frama-c-base_20220511-manganese-4build1_amd64.deb
 2ba7e2113f05b56d7d4ebd3602b3bc1e877bb689719d05a49726c6429f96eff8 16875 frama-c_20220511-manganese-4build1_amd64.buildinfo
Files:
 3c929d0012309fcd79a71f78e73dc6f8 6303542 debug optional frama-c-base-dbgsym_20220511-manganese-4build1_amd64.ddeb
 48124300723c34d6fd314f3de598c7bc 76030334 devel optional frama-c-base_20220511-manganese-4build1_amd64.deb
 2d64f6f4b94615e561159aa02240440d 16875 devel optional frama-c_20220511-manganese-4build1_amd64.buildinfo