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