Format: 1.8
Date: Thu, 11 Feb 2021 23:09:31 +0100
Source: frama-c
Binary: frama-c-base
Architecture: arm64
Version: 20201209+titanium-4ubuntu1
Distribution: hirsute-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-005.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 frama-c-base - Platform dedicated to the analysis of source code written in C
Closes: 982148
Changes:
 frama-c (20201209+titanium-4ubuntu1) hirsute; urgency=medium
 .
   * Fix new eva test dependencies and return in case of error (Closes:
     #982148)
Checksums-Sha1:
 8f45503d9350493d0e789846b4bb41fed74f7eb6 4137944 frama-c-base-dbgsym_20201209+titanium-4ubuntu1_arm64.ddeb
 189b5f5e7f79b1d7f05ec4a2ffa8bf31e76fec8d 64115956 frama-c-base_20201209+titanium-4ubuntu1_arm64.deb
 dbb159b2a31979f3bacde3c70be762f65a40abf5 16124 frama-c_20201209+titanium-4ubuntu1_arm64.buildinfo
Checksums-Sha256:
 81b3eba214f29198709de2b0566a4989db0a1bfa4ffa3291349b34a7cbd23fcb 4137944 frama-c-base-dbgsym_20201209+titanium-4ubuntu1_arm64.ddeb
 19aa44d9c27b673456c5016311c0c37b13ff389c253a7abd2f3c068561ca41f1 64115956 frama-c-base_20201209+titanium-4ubuntu1_arm64.deb
 f25fc2f95e864bce689e5ae713c16ec8db1e13ecd7ea18f0dcd2c1d2552db46c 16124 frama-c_20201209+titanium-4ubuntu1_arm64.buildinfo
Files:
 dca02482f5cd861c9ca1a12ef5d3efb3 4137944 debug optional frama-c-base-dbgsym_20201209+titanium-4ubuntu1_arm64.ddeb
 3d7b44592a2e397ef96c69a59c659844 64115956 devel optional frama-c-base_20201209+titanium-4ubuntu1_arm64.deb
 4e6ff04180776b6997a8fdb24c34c52b 16124 devel optional frama-c_20201209+titanium-4ubuntu1_arm64.buildinfo