Format: 1.8
Date: Sun, 15 Jan 2017 13:00:55 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: arm64
Version: 20161101+silicon+dfsg-5
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-043.buildd>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
 frama-c    - Platform dedicated to the analysis of source code written in C
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Closes: 851104
Changes:
 frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium
 .
   * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
     frama-c (Closes: #851104)
Checksums-Sha1:
 a77a331193f2a3ca32b1627a6b74db36c0e83c64 943300 frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb
 ae1e88bbd7e3f75807da7343152f35e0e37adfeb 19887770 frama-c-base_20161101+silicon+dfsg-5_arm64.deb
 5a4e8bd125433d8947b3c4776a7da70e536b7c92 1013844 frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb
 ff2f0fab752471e522c9419d05d7fa95d6c8d586 10269798 frama-c_20161101+silicon+dfsg-5_arm64.deb
Checksums-Sha256:
 054fcd5a923efc67570ac35dcc9539fa85de2ed29f59c49750ce18c92e2cf2dd 943300 frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb
 97a2adcc2d0affc969e09d1873110cd5cdccb482243ab30b8545965c2078cb24 19887770 frama-c-base_20161101+silicon+dfsg-5_arm64.deb
 3854b72b83536845b635de7de71d0a1f7bfab3c4e4cf9c7d800c7f4996cddef8 1013844 frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb
 cde71711bfc8e18e02804dc62082a0630d88c6ccdf49ed25ac9d46a3d0821113 10269798 frama-c_20161101+silicon+dfsg-5_arm64.deb
Files:
 04c550a6f93d34dd670b6494ddb0704b 943300 devel extra frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb
 e06277d4280560745ac32e4f26f5d6f9 19887770 devel optional frama-c-base_20161101+silicon+dfsg-5_arm64.deb
 9d7ed1c700c408ea1a9f968e801cc665 1013844 devel extra frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb
 5c7fea3b3542b1cd8871f744275f8b78 10269798 devel optional frama-c_20161101+silicon+dfsg-5_arm64.deb