-----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-----
