Format: 1.8
Date: Thu, 22 Feb 2024 08:36:38 +0100
Source: frama-c
Binary: frama-c-base
Built-For-Profiles: noudeb
Architecture: amd64
Version: 20220511-manganese-5build5
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-014.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-5build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0b923425a2ee2089c8b29a3969fc27ecf87303c7 5303108 frama-c-base-dbgsym_20220511-manganese-5build5_amd64.ddeb
 f3e0649517688c000ed039a1364378233732edda 64673190 frama-c-base_20220511-manganese-5build5_amd64.deb
 8670c3a8cac1341b01954cf3757b699121b1fc50 16985 frama-c_20220511-manganese-5build5_amd64.buildinfo
Checksums-Sha256:
 55bffbd92edaf7eed53ba267998640f95664d26d3e8863ecfe0c24438a90646c 5303108 frama-c-base-dbgsym_20220511-manganese-5build5_amd64.ddeb
 22e23fce8741bccb30e8ac5c68d78b766094afeb7945b1f0f0e361dda2f08c81 64673190 frama-c-base_20220511-manganese-5build5_amd64.deb
 03687b32b9e55e1eb56de694beb038037fccbf8487e541af6fb0d7905aa2849e 16985 frama-c_20220511-manganese-5build5_amd64.buildinfo
Files:
 b700a83d8d7dc1d369c411300a768e4f 5303108 debug optional frama-c-base-dbgsym_20220511-manganese-5build5_amd64.ddeb
 de94aca42328b27bc0f470499a7860dd 64673190 devel optional frama-c-base_20220511-manganese-5build5_amd64.deb
 669a25c6477d4f4e44e2cccb766da8f7 16985 devel optional frama-c_20220511-manganese-5build5_amd64.buildinfo