Format: 1.8
Date: Thu, 23 Jun 2022 11:46:20 +0200
Source: frama-c
Binary: frama-c-base
Built-For-Profiles: noudeb
Architecture: amd64
Version: 20220511-manganese-1.1
Distribution: kinetic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-057.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 frama-c-base - Platform dedicated to the analysis of source code written in C
Changes:
 frama-c (20220511-manganese-1.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml
   fail to detect it?).
   * Add workaround for failing autopkgtest.
Checksums-Sha1:
 a17cb3b79414c018e34fff959c6d77d11a8b5daf 5937250 frama-c-base-dbgsym_20220511-manganese-1.1_amd64.ddeb
 3caafa75af6312366c3e83b2f6b5fa963eae9e87 76128950 frama-c-base_20220511-manganese-1.1_amd64.deb
 0b531bd0f5070b6dcc005ffb22c40da5b392c831 16650 frama-c_20220511-manganese-1.1_amd64.buildinfo
Checksums-Sha256:
 f51df2866549efe70fb4b1bf7058a2add3e38d27e6b551a56465cfbea94447f6 5937250 frama-c-base-dbgsym_20220511-manganese-1.1_amd64.ddeb
 54c511fc5983e01570079c49c28fb615d0048d67701e72e7143a929de392cce5 76128950 frama-c-base_20220511-manganese-1.1_amd64.deb
 9a7685aa437bf6a68ef33228c354fea18f49e8b68cf9becd80c765a9b75096d4 16650 frama-c_20220511-manganese-1.1_amd64.buildinfo
Files:
 66a20dd2df040fdb8ccc14bd4164f4f3 5937250 debug optional frama-c-base-dbgsym_20220511-manganese-1.1_amd64.ddeb
 cb21a977b315c0205cdf37bbbc57a3fb 76128950 devel optional frama-c-base_20220511-manganese-1.1_amd64.deb
 20436dd4b44bbe673d4074ce438e624c 16650 devel optional frama-c_20220511-manganese-1.1_amd64.buildinfo