Accepted frama-c 20090902+beryllium+dfsg-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 17 Jan 2010 19:33:00 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20090902+beryllium+dfsg-2
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)
Changes:
frama-c (20090902+beryllium+dfsg-2) unstable; urgency=low
.
* Fix installability problem by installing frama-c-gui.1 only once.
* Remove empty dirs
* Fix hyphen-used-as-minus-sign
* Fix short description of frama-c-base
* Set section to « devel »
Checksums-Sha1:
7a50b7f76ed3e104337fa7bf7cb12de38a9d8db8 2208 frama-c_20090902+beryllium+dfsg-2.dsc
2ae6513d5bdedc2341d4e513aee6d797c9361a4e 23608 frama-c_20090902+beryllium+dfsg-2.diff.gz
d63c6b4aa9dcb44bff8b0fb83840423d2f10d0e9 3186230 frama-c_20090902+beryllium+dfsg-2_amd64.deb
76bbddd226bf13369996bf97b9294b1c93871a86 22803904 frama-c-base_20090902+beryllium+dfsg-2_amd64.deb
Checksums-Sha256:
688480cc86910b622b589a4ab42e5960a7488718ebcf5fc377dc56ac2bb16908 2208 frama-c_20090902+beryllium+dfsg-2.dsc
a730e3aa55f0a0d7943d779558e28f02c0b0d6d6cf23befe8ea92fa59fb24924 23608 frama-c_20090902+beryllium+dfsg-2.diff.gz
677d486392716468b41f1c9b95bffa7e924acb31d3a10dbaf69e52f845517fee 3186230 frama-c_20090902+beryllium+dfsg-2_amd64.deb
3c467cefa3d88e22cc131694429ad8d2ee6602c967e894074ed74a08fa3e3e29 22803904 frama-c-base_20090902+beryllium+dfsg-2_amd64.deb
Files:
201b5c6a6075ca3f81e8ab1d9cf8f7fc 2208 devel extra frama-c_20090902+beryllium+dfsg-2.dsc
89ac668fb3ea32f2d231d8e584792a15 23608 devel extra frama-c_20090902+beryllium+dfsg-2.diff.gz
080ab30681d1277964b88479706a2ca9 3186230 devel extra frama-c_20090902+beryllium+dfsg-2_amd64.deb
fb19b554581431f9751ac11fdb733ebd 22803904 devel extra frama-c-base_20090902+beryllium+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLV3axAAoJEDO+GgqMLtj/0cYQALHirr1+tBglDBd0iSAXLm0m
/62H74RBl9IQeEzCNgxS6xW8kRVOAfsG68QEI8YLkQ/a7uiJ9G7ZbZCDK7mpWjY2
mX7BjrA3As3ls84Imkxf0//L1Mljwuy65tLIkPF2GUrytoN1SuQnuy4lCWjs+8ih
29xeHFzKf9jkIDzliwbE0QPf/5i2xbez4z4MG4JXb2nXpT9Yffw5KYi7ZG2T8OXJ
UlPmWdEvzzRG3uDc/E6dLM438NS61qRTR/k8iC+PQ24kP6oAqPWCwJ8wPwkiuRIC
ehRpcONFbiM1Ut+Cipf/Lc8I0bvjtavHrmDu4ibAEx65Ff9/pffSQQL+J4OAycle
8KBKYp7ydG4R6Ojq1QmoVU9nJAJWjrOwBkzqKwvyqGt5sHHZxH7BFsiRszLOJeMQ
hhHqVm72N8JBB+FDyIO0rDgM+wj7cNChq1YjfqUAdPDJIoH+irJYj9FcyEzdmMYl
n+WrwWOEMYW89ezMJOsDHg51iqXu7HbQwduXboPb4JfQT2Qk73u7wjTvgnK06OCd
GGIkl+UJugDMIjSQbFihUeQ2LisQir7b//N8Z6IBedcjXxm18xT2X7gz98koEsV6
8NHbcN1iJ64OWBPBik4JRXezIChU8d16rC3eFjpXVwYkemCbC00aEDioN926QnfC
VjUMRKFCkTajbpvEtvI5
=rbAw
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20090902+beryllium+dfsg-2_amd64.deb
to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-2_amd64.deb
frama-c_20090902+beryllium+dfsg-2.diff.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-2.diff.gz
frama-c_20090902+beryllium+dfsg-2.dsc
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-2.dsc
frama-c_20090902+beryllium+dfsg-2_amd64.deb
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-2_amd64.deb