-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 08 Dec 2013 12:25:21 +0100 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20130601+fluorine3+dfsg-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@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: 731637 Changes: frama-c (20130601+fluorine3+dfsg-2) unstable; urgency=low . * Team upload * debian/patches: + Fix compilation with OCaml 4.01.0 (Closes: #731637) Checksums-Sha1: eb0941504abb9a7f00c244ce2ae57a3fd549f9b0 2337 frama-c_20130601+fluorine3+dfsg-2.dsc d27b943c7c2956eed6f8166a9639a58e2774fb4f 25782 frama-c_20130601+fluorine3+dfsg-2.debian.tar.gz 9304102ca52694e03ac4286e088834acf69347cf 3561020 frama-c_20130601+fluorine3+dfsg-2_amd64.deb c9b98bf295b74b4662556d0308472ae3f69bdf28 21655176 frama-c-base_20130601+fluorine3+dfsg-2_amd64.deb Checksums-Sha256: 78afbee90361115c58415c0738bd6473260c4b05a83973292482c5f8ccc0a43d 2337 frama-c_20130601+fluorine3+dfsg-2.dsc 29c2b0edd7acbe433dddbff6322ba17c42b7e94c7d0e0fb67df06f08d533b970 25782 frama-c_20130601+fluorine3+dfsg-2.debian.tar.gz d671d5ea48b57a0e83ed36846e5033c4360aa1bdc80b38e4dd7af7d22c037842 3561020 frama-c_20130601+fluorine3+dfsg-2_amd64.deb 9b1eeeabb36a61621a741b7de31c9ae8f4ab34d8dfc483335182d2ca247a64ac 21655176 frama-c-base_20130601+fluorine3+dfsg-2_amd64.deb Files: 800845de7d2a2e2a67615533ba8a02bb 2337 devel optional frama-c_20130601+fluorine3+dfsg-2.dsc 2c7445806d57a6134669dc8f84b4e3d3 25782 devel optional frama-c_20130601+fluorine3+dfsg-2.debian.tar.gz 76fdbf1e9216e52b3668ce9a914717f6 3561020 devel optional frama-c_20130601+fluorine3+dfsg-2_amd64.deb bd435cc8769cc7a1c6a1028766441966 21655176 devel optional frama-c-base_20130601+fluorine3+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSpFoBAAoJEHhT2k1JiBrTmcwP/izJocHOsmPTATG2CySdyx5A 1plR9csA5QXXJouh3vmdNqu9SEdO3xMcA0wg8xquSBmRUvlnrrcbaJF79I6YA7zi V+xK36bnSZQZ24nkDwX9kABnRNfF8Kw8xgKHtecSmmJYztlxup4LCsDrCL307qzE vvMw8aUYOlLq1cYig/Dg3uWxkQ+R04JO64rli9IhTpPclciqOfuHKYS3E5dZMgPs gaGtStV2qSDT+1vJUcxW1MMQB/5S0GTqFIABVxCjun56Or3OmtvPXDSp1JWVaf/Q QBkZM6oV2HUXt5ObCsPwmf40okih+c9yRFnA8Prg+Qmtr8X84rzXigziss6WfBcx CAO3qmTPYNlD4u/lKtv2SudQUbjg6+xzKI+TQ3zM6iQur9+8U3M3q+YvM9N8CRMr 0UbXzanl9pLuDJcvKavD16lpF0/yff6fb4m/rlDZn2Abd1QzLbUdyBheWiHFUbyK DoekzV9wW07hwhqbzSGZcUE6dEDbvyXHPAdsUxQxUES6J14Dt5Va1BMPfoYAU2ww WDsnTUaAA4ShzqzZ6xHBuXzxXs2bwlWFFrIQZP0dNBCPEEbMvmFeN2idDIC+cLFY 3tK9dfcAohUdQpMFAs1zjP787vFjPVSX9bOmk1uuffFMahYSQCPH0+7fhMgHp4Dh AB+JkDD6cxmLqBdJz4AY =EDOZ -----END PGP SIGNATURE-----
