frama-c_20130601+fluorine3+dfsg-2_amd64.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: