Back to frama-c PTS page

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



-----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-maint@lists.debian.org>
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
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

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlhoQ4cRHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P+DoRAAlkBFYIuIPzK/IlGGH8V0iRPv0FvSfzrN
AMearWOVpgXYKPAlGOKldoVMAGMxprNblEgc9dul2IPQysJ/wgnNF3a260P2IxgM
q8L2S/VpBexAlD5H740Rkrv1vXwXHgcChBzNuANo+HwxyiDNa/SdDwmTjR07Sv4L
KMRistjPxDftaDsc7yqlJ3uTRvYEaLuY3l7Lgtzt6qI/3KytSoEZ+i4COaGobahr
mTWSmECxR9HaHNEYTImy4zxFIz3p68wVpNxFeALRk3VGgZK6dElXNisUSs1flx41
KAIQ8jpwQucFFzkqdwvjgYeKx0xRUx2zNv4O1DRRWYM7J6fPOjhx6GexUkdUjeh4
P+6H64BPKS5rgBaNGk7illib8SOFYFMiRAe33/LjkY9jg4sGQiG0YF0JYnSCvXe7
Gn7AYJLntGhx7DaA+lhjlV40A7jOTKr761K2OiDq5mIwqHQ8iofTbr4B0xh8WxLC
A6YyKEn3xINmHHNg19Yz7bpvTSjNPTiIaBwJDIRLHQxw7pwcVp5bUOWCHNGNJ76t
oubQJawnOTzL9twG4n68yRvxby2b+TRzSLtIQo4v+XYHh0sw660/JGRVEtxd/jGx
6qrGj/q5V30HAQz3CUpC6ahaeCbV5jgiWrpABY0qG+HtJkpnuvA39JDhtLpAj5A1
EggnkIgCCwU=
=Va4x
-----END PGP SIGNATURE-----