Accepted frama-c 20161101+silicon+dfsg-3 (source amd64) into unstable

Mehdi Dogguy Sat, 31 Dec 2016 16:19:23 -0800
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 01 Jan 2017 00:37:33 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20161101+silicon+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Mehdi Dogguy <me...@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
Changes:
 frama-c (20161101+silicon+dfsg-3) unstable; urgency=medium
 .
   * Fix typo in Vcs-Browser field
   * Install frama-c-config utility in frama-c-base
   * Clean up content of filtered files from debian/gbp.conf
   * Avoid double linking of LoopAnalysis.cmo
   * ocaml-findlib is not needed for frama-c-base. It has a runtime dependency
     on libfindlib-ocaml which is enough.
   * Re-enable Impact plugin by dropping --disable-impact flag for configure
     script. The plugin used to be non open-source, which is not the case
     anymore.
   * Drop configure flag --disable-security as it became useless.
   * configure script is now able to find zarith correctly. The use of
     --enable-zarith=<path> is not needed anymore. Thus, dropping it.
Checksums-Sha1:
 e81acd0ff569f961e8e7c947c915b50fa989223d 2408 
frama-c_20161101+silicon+dfsg-3.dsc
 41b127cb911909b488c77626ce44bb759e1c5eb9 26816 
frama-c_20161101+silicon+dfsg-3.debian.tar.xz
 ac0e22bfa265094e4e0cb3227064916a59e4b321 1057596 
frama-c-base-dbgsym_20161101+silicon+dfsg-3_amd64.deb
 8a3113f48a7d18ac68c6e45247cb1c049e04da68 19985412 
frama-c-base_20161101+silicon+dfsg-3_amd64.deb
 1383f2efe81c5591446612964ecd7ce106e67553 1094958 
frama-c-dbgsym_20161101+silicon+dfsg-3_amd64.deb
 444132926350b85a658decd8a9473f9814ae002d 14858 
frama-c_20161101+silicon+dfsg-3_amd64.buildinfo
 308724645bba76f557e3143f51b4b3a3875016f5 10612202 
frama-c_20161101+silicon+dfsg-3_amd64.deb
Checksums-Sha256:
 73ff7372681f1cf33c4567fc3c536d1de306e9ff4ff34c5ec17f4196004ec438 2408 
frama-c_20161101+silicon+dfsg-3.dsc
 e627676cb55f8bcc3a5b6a0da1a41c77afb750312eddd7f3a485cd2a838d9ff5 26816 
frama-c_20161101+silicon+dfsg-3.debian.tar.xz
 2bec7ed7dd0ce2a04431571c7362bab1c1adf6bfe0662f0ee0fe65427e0ed9f0 1057596 
frama-c-base-dbgsym_20161101+silicon+dfsg-3_amd64.deb
 236f357cf3055fdf1f8c51334323974e6b79316a66a8edc4b122395e76f47f59 19985412 
frama-c-base_20161101+silicon+dfsg-3_amd64.deb
 87142151b61795affa14ba8495d07135d8e9f69d0dcbf55c032d4d20aa5872aa 1094958 
frama-c-dbgsym_20161101+silicon+dfsg-3_amd64.deb
 f9fae3621e7530da243a1d0c38f3b0400d52d9f0dbb4b17acb66a0501cbb42ee 14858 
frama-c_20161101+silicon+dfsg-3_amd64.buildinfo
 e565590ccdee56885d2229c89914e2f4894995c6483be847b37baeeba7154f3b 10612202 
frama-c_20161101+silicon+dfsg-3_amd64.deb
Files:
 85b7ffe685da751a064f621015c2dfa5 2408 devel optional 
frama-c_20161101+silicon+dfsg-3.dsc
 6f3c5f2b91be497e5731691e5b892a23 26816 devel optional 
frama-c_20161101+silicon+dfsg-3.debian.tar.xz
 a7eae9473a02b9e2e1bfa57e6a631b40 1057596 debug extra 
frama-c-base-dbgsym_20161101+silicon+dfsg-3_amd64.deb
 8aa610c4a30cf4d0dd0c349351a34c48 19985412 devel optional 
frama-c-base_20161101+silicon+dfsg-3_amd64.deb
 b688001924136539488e164697abf809 1094958 debug extra 
frama-c-dbgsym_20161101+silicon+dfsg-3_amd64.deb
 44d9ac094c5b8fd1086241f04ae2ca9a 14858 devel optional 
frama-c_20161101+silicon+dfsg-3_amd64.buildinfo
 2b4506c24bccd9c7ef68f94aab2ab690 10612202 devel optional 
frama-c_20161101+silicon+dfsg-3_amd64.deb
Accepted frama-c 20161101+silicon+dfsg-3 (source amd64) into unstable

Reply via email to
