Format: 1.8
Date: Thu, 22 Feb 2024 08:36:38 +0100
Source: frama-c
Binary: frama-c-base
Built-For-Profiles: noudeb
Architecture: arm64
Version: 20220511-manganese-5build5
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-043.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:
 dd00b259cbacf317169a852e337e8f1fa6c85daf 5236736 frama-c-base-dbgsym_20220511-manganese-5build5_arm64.ddeb
 03e8488b2b35e9ae9c138ee2ac62efe36579568b 69162242 frama-c-base_20220511-manganese-5build5_arm64.deb
 a2d12c24a5f2a0555debd9656c97058b89c9445b 16895 frama-c_20220511-manganese-5build5_arm64.buildinfo
Checksums-Sha256:
 22df6701a4db42762df3b4aa9c3baeb1ff376196cf95bf35b48defd633c837e2 5236736 frama-c-base-dbgsym_20220511-manganese-5build5_arm64.ddeb
 e07a0746bfde0a548765a90bf9d234079b9d09d977fe39ea7c692aa5f0a39571 69162242 frama-c-base_20220511-manganese-5build5_arm64.deb
 152a2bc27a5adfee7ae32d4cb4e3c400145dc1d67be1b5bc41c4c51b792b9fa3 16895 frama-c_20220511-manganese-5build5_arm64.buildinfo
Files:
 9ad1f34fb81630237490bbc8eea48d59 5236736 debug optional frama-c-base-dbgsym_20220511-manganese-5build5_arm64.ddeb
 a53dea2624e20a3f14ef2df799eeaab1 69162242 devel optional frama-c-base_20220511-manganese-5build5_arm64.deb
 9e5e69eeb96c2bd1c3ad43ab60115a9a 16895 devel optional frama-c_20220511-manganese-5build5_arm64.buildinfo