Accepted frama-c 20130601+fluorine3+dfsg-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 25 Nov 2013 15:02:35 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20130601+fluorine3+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
frama-c - Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Closes: 714124
Changes:
frama-c (20130601+fluorine3+dfsg-1) unstable; urgency=low
.
* New upstream release (Closes: #714124)
- Remove 0001-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch, fixed
upstream
- Remove 0002-Accept-ocamlgraph-1.8.patch, fixed upstream
- Remove 0006-Patchlevel2-for-Nitrogen-20111001.patch, integrated
- Add 0004-Fix-auto-detection-of-ocaml-zarith.patch
- Require ocamlgraph (>= 1.8.3~) on build.
* Add libzarith-ocaml-dev to Build-Depends.
* Add autoconf to Build-Depends.
* Call dh_ocaml with --nodefined-map=frama-c-base:Big_int_Z,Z,Q, modules
already declared by ocaml-zarith.
Checksums-Sha1:
147c92fcdfa08a3c5d9cb60ce2d428d7dbddca37 2337 frama-c_20130601+fluorine3+dfsg-1.dsc
5abd6f1d8e2e0869fa2b9912fb4340e379bca00a 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz
b72721fa3af8d0dce351b0687bcc93867429abe5 23456 frama-c_20130601+fluorine3+dfsg-1.debian.tar.gz
3b3c5baae3f7e985d0aad21060a64ab473b7342d 2822182 frama-c_20130601+fluorine3+dfsg-1_amd64.deb
08592c8a04bac99587cc84e20547c8eb70394b5e 17291708 frama-c-base_20130601+fluorine3+dfsg-1_amd64.deb
Checksums-Sha256:
01ce4b84376c2e68297d4997df67968855138782fff1ebabd139d2777a9a5105 2337 frama-c_20130601+fluorine3+dfsg-1.dsc
69118f631055f86ca299b00255eb3e74cfff69da6317347fafd62a32cae44e38 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz
27b9060c3536e565870940f5da09c8507a4e23b523cb0bab9dc3aba4dedd0202 23456 frama-c_20130601+fluorine3+dfsg-1.debian.tar.gz
1cb894f3966c10f91a7d8a2435857cea046d786aab2737a5458ce91765c7238f 2822182 frama-c_20130601+fluorine3+dfsg-1_amd64.deb
7eaf0196f7f73bfc24f962490ae13cf6e5f0ecf752c5f93effe793fec59e684f 17291708 frama-c-base_20130601+fluorine3+dfsg-1_amd64.deb
Files:
1dee8bc560a6d52f844cf91e9d13ccda 2337 devel optional frama-c_20130601+fluorine3+dfsg-1.dsc
0effe1e72944ef0a057ccf4063b191d0 2640053 devel optional frama-c_20130601+fluorine3+dfsg.orig.tar.gz
4c6a2ef49190853dd1014ff820ca3037 23456 devel optional frama-c_20130601+fluorine3+dfsg-1.debian.tar.gz
eeb6c539a5541e148255be8f39ef3051 2822182 devel optional frama-c_20130601+fluorine3+dfsg-1_amd64.deb
d4cfb3c73a37eb1dbd913696264d3516 17291708 devel optional frama-c-base_20130601+fluorine3+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJSk7mkAAoJEDO+GgqMLtj/i/kQALTmjIHudP69wFXXv82ZwkwT
CFyxm/Gn/A/eA5U9ya893V3PhMRCmZfOWk3sL7rdPkCZOsnwqJOSEN7Nm2Np+Ih/
pu9Zkxs+8XaJ21OLeFNLjf8mekOq9EASOSTWAud0b3j6s6+cvP/cBYd6d+PeqqsA
Bew/XLfCmI+theV0hymN87Y7HDqfcS5B5vQkmH1d3JJwS6Y3U+UCb9BOqVq7ug4W
b7hq64fFcyKOxCkTd74FodgRjE4JMuliWfFUvf2OPh7c220LGU56+Cit40rMdxig
jJQGS7X2AqB8N2sYmSPt7rpOGG8fj7Rot6/5bWIaGDhYyAoe8r5PFi6lT0zLlgEG
v8BU3bglKX08tyyP9mcr3TaIi9AtK8OMHTBYSdshOVK3C4KqbIJ3/U423VToyf08
amcEdUYe9EjJJJ5i/1rzGfcdxr1LxXs6hV83SUgIqDq2r78U/tISYhvHJBJjVgH2
D2XPEl1VQiExn02BHFrqZf03yEehFyxal2t48dL4hBZA9DvRP7aQqZVPLVvdA29w
3co6aI2I5qUxRi3lUB0JCcAU6G1yOSI0TR52kh4Q4TEjr3c3ZFGWwsvKwHGkRcjw
p11fkUUlrS8pTpyJmhWZ8g6L4jS4R/+M3v3WqMULKoN0j8e2wnJDyvtNhC/8nf08
6CcuuML5l3CmnAU54G2Z
=ZRRB
-----END PGP SIGNATURE-----