-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 27 Apr 2010 16:04:49 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20100401+boron+dfsg-1 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 (20100401+boron+dfsg-1) unstable; urgency=low . * New upstream release: - Remove some patches integrated by upstream: + 0001-Use-GSourceView2.patch + 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch + 0004-temp_file-changed-in-OCaml-3.11.2.patch - Add some patches: + 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph + 0003-Fix-build-on-bytecode-only-architectures.patch + 0004-Fix-some-typos.patch + 0005-Don-t-modify-system-files.patch + 0006-Fix-build-on-bytecode-only-architectures.patch - Update: + 0001-Fix-hyphen-used-as-minus-sign-and-a-typo.patch - Bump ocamlgraph minimum version to 1.4 * Set Priority to optional * Set filter-pristine-tar in debian/gbp.conf * Fix watch file * Update 'Homepage' field * Bump Standards Version to 3.8.4, no changes needed. * Update copyright file Checksums-Sha1: 022bb211b2f9a0d545158f9b7565668ee64fe3cf 2187 frama-c_20100401+boron+dfsg-1.dsc 14586bbeacec11c8d9af612c32896600e30423e0 1739409 frama-c_20100401+boron+dfsg.orig.tar.gz 96baed241e6872c2653e17f29d7869ed425e0a7f 25876 frama-c_20100401+boron+dfsg-1.diff.gz f1b6c37b89eaea1f19bcd5b2afe4f9896ee11c9c 3359008 frama-c_20100401+boron+dfsg-1_amd64.deb 9410b7a08cc48f47d334782a4100f08a509ed376 25051814 frama-c-base_20100401+boron+dfsg-1_amd64.deb Checksums-Sha256: cd90ee378a15dcae7ba23d2c4f7a9cc8172e046a1b179cb14ea1080c33105d7a 2187 frama-c_20100401+boron+dfsg-1.dsc d42688a10301cb6c3fca34ce443b489bfbc98ccc16534dd26fd56612dcb29d76 1739409 frama-c_20100401+boron+dfsg.orig.tar.gz 577a4f13e67bdfe09b4d09d12081e80b35c06a1fe8d56da962536dcd27ae8b17 25876 frama-c_20100401+boron+dfsg-1.diff.gz 3c4504605e561dbf52f871a0b4771cfc3911f68970c06642d1fbdc31aa423e31 3359008 frama-c_20100401+boron+dfsg-1_amd64.deb ec31ecdcabcfbc5f22325ae61e86c063ac9ec1d2926af16ab01faaedb9781015 25051814 frama-c-base_20100401+boron+dfsg-1_amd64.deb Files: 84b378d5778ac1c0fc5f2e9d614ac55b 2187 devel optional frama-c_20100401+boron+dfsg-1.dsc 1875d23a09662d3f0560f7560de37dfb 1739409 devel optional frama-c_20100401+boron+dfsg.orig.tar.gz d8bdd3f9a099eaa590109c48a4919460 25876 devel optional frama-c_20100401+boron+dfsg-1.diff.gz 2bf1d6c2cc14aac6f139d10f5ea72089 3359008 devel optional frama-c_20100401+boron+dfsg-1_amd64.deb 8a976002e66418a4932fa2d87f04c54a 25051814 devel optional frama-c-base_20100401+boron+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJL1vaFAAoJEDO+GgqMLtj/6PAQAJVJWLU3pC09Orl/qeXn0WQP nUFbLS10fLGiGOzUGs92itKKjeibkM4LkihNimtaCCiLTRiNtqgvaYT12GNZD6Ng F34wfAze07+G322G8n3oNbxpLRdwHyL8RcrhyycogcE0fHIpFy5/r8PythvDSoFX 3O+CYwr1uo8ym5uD79YG/G5WyBmJm7kxV7RpBaVytwjOBaLWrEDhluH1JB883qWS zlVc6mq0TdcDJbgaxePJP8zU40nxixfLFFDhZM7cokcEPUeGQTcr9ydSc/RIjl6Q wyuR9h2sX3X8eElfYIsT8auQloAa7KOgnSunXH5d1hlUO/D0D+oYESCjHCQyrtVj oVtkiavbuydCIyeq50lMW/3E5QSwjrVvdPVWcrjqNH83/vUDeqdpjvgIRUKHwBLB dvIiyYnP02i/NU6gStTjV4J4HhwHCJ5/r27YLhGsk5XLTMK3fxAZh/F4Wz/zrCV5 ZazgzWb7u4eTZ5fVCF8zkjnYFAKVnuxVV8lqpGe1XXQWE2cWp7Bq79+yjqr8n0GP kXcJQhE/97E1WglGLRdBRLbe/SS2ekw66e8QTxM3Go27nqzNgnN8L2XvgpdstVqd bFlXnAzq7P1sx8vVU3fsAaIN5NMrDefDAGpVJFKuoayuiVWpXhidTF3pxhaYzwNt mHyZR2QZ6FqOhMZ4byfc =1Y/A -----END PGP SIGNATURE----- Accepted: frama-c-base_20100401+boron+dfsg-1_amd64.deb to main/f/frama-c/frama-c-base_20100401+boron+dfsg-1_amd64.deb frama-c_20100401+boron+dfsg-1.diff.gz to main/f/frama-c/frama-c_20100401+boron+dfsg-1.diff.gz frama-c_20100401+boron+dfsg-1.dsc to main/f/frama-c/frama-c_20100401+boron+dfsg-1.dsc frama-c_20100401+boron+dfsg-1_amd64.deb to main/f/frama-c/frama-c_20100401+boron+dfsg-1_amd64.deb frama-c_20100401+boron+dfsg.orig.tar.gz to main/f/frama-c/frama-c_20100401+boron+dfsg.orig.tar.gz