Accepted frama-c 20090902+beryllium+dfsg-3 (source armel)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 22 Jan 2010 11:59:37 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source armel
Version: 20090902+beryllium+dfsg-3
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-3) unstable; urgency=low
.
* Fix FTBFS on bytecode architectures
- 0003-Do-not-install-native-Kernel-modules-on-bytecode-architectures
* Add Graphviz to build-depends
Checksums-Sha1:
8bb6d18b20d77c1ce4f4a77b8eb0f312513106cb 2218 frama-c_20090902+beryllium+dfsg-3.dsc
c029f05e41ed78d555314f91c5c2bba1c1a0d46b 24238 frama-c_20090902+beryllium+dfsg-3.diff.gz
ee264cf9cb224592cfa6302bac7b6b0d99b8d04d 9071930 frama-c_20090902+beryllium+dfsg-3_armel.deb
a6e915c1f71de9f603b0d0fc4b79f9f4148c85d2 17602992 frama-c-base_20090902+beryllium+dfsg-3_armel.deb
Checksums-Sha256:
08592029db91570734bd4a818d607401576557ebd9a93851272d51fcbdea07a3 2218 frama-c_20090902+beryllium+dfsg-3.dsc
2006d7460db4756eea98520cece3e4dc20db92c8576fd6ee9b32fe3d43910fff 24238 frama-c_20090902+beryllium+dfsg-3.diff.gz
a5baf7bbf35726b7d144e0010586f59e5ca89279fdfb02214ae50c006d00e86c 9071930 frama-c_20090902+beryllium+dfsg-3_armel.deb
aaa687d39156b3635687f25409f5c7da192aac419e4fbb4118e1778948d08d66 17602992 frama-c-base_20090902+beryllium+dfsg-3_armel.deb
Files:
cf602cd349d9e8c4fac11e8f786c2cf9 2218 devel extra frama-c_20090902+beryllium+dfsg-3.dsc
bfe3a760d121a602963bcc465592ad57 24238 devel extra frama-c_20090902+beryllium+dfsg-3.diff.gz
07cf510c43e4b37e69934ad6be216210 9071930 devel extra frama-c_20090902+beryllium+dfsg-3_armel.deb
eb16665c88e112a55c774006eca2ab53 17602992 devel extra frama-c-base_20090902+beryllium+dfsg-3_armel.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLWZ3GAAoJEDO+GgqMLtj/rnMQAIUXAEicNYtCFbtud2tSqZl7
a7qlCkjQQQTi4rTL7m2saAiZgQCwZF677VaDXXxJ/xQfMGqNKUCXUieF4PrtbTNJ
Tlxuc2nVy2Xmifap/xh937eG1o7MR8/cuj5hY97p7r15atBjQHWhwgbp+DRAG/aw
5uLlg3y3s2wvIXwNmDR4CLig5BuRtZ2nTpgTTDjl0lAb++OPvNW3KVIn9o18j4uu
QrpGHMzW96vM0ftK+k6BcRiBKwOOJYa4DJhnFogjlbU2mrW2oA7vanoYNnxegjfG
3NGyaDhN6Hv0IbklSJT5wfx8YRgdqeM9TsUI5LXR0Q03c9l5ddQKK5lN8NDkVwne
/D81YMR44fHKeNg9hqlAwXZMGPdgLI1RNkSsEhLsNphdqvorYrJiPRlD25iDW9Xz
0q/lQe9FDCVHzJVp5EdyN82hg52HhjfnT1cfqGGNvI4IbZtcopXXp2WsFDIuIFG/
/qifRpV2CiuLl02OpjZpReqPd64jaoIYKeRDPYr8Kif3dASM4rLbK3chFGqzyczN
8+2R26Ju+jepAQrd8252bllrZZWwaCVOGMGpLJ4osE09hWF22xY7/4IM0pXqN1rm
SybUm/odVLgQNCstZEQFRQG8OCHQU5s8p90ye1rFc7X6LG3ruSmU3dnKX2Yr0LEL
YWJuxK+L1zv4RZOQqmhe
=IEIb
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20090902+beryllium+dfsg-3_armel.deb
to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-3_armel.deb
frama-c_20090902+beryllium+dfsg-3.diff.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-3.diff.gz
frama-c_20090902+beryllium+dfsg-3.dsc
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-3.dsc
frama-c_20090902+beryllium+dfsg-3_armel.deb
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-3_armel.deb