-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 10 Jan 2010 22:50:18 +0100 Source: frama-c Binary: frama-c frama-c-base Architecture: source i386 Version: 20090902+beryllium+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 source code analysis of software written in C Changes: frama-c (20090902+beryllium+dfsg-1) unstable; urgency=low . * New upstream release + Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch (fixed upstream) + Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream) * Update copyright file * Remove libjessie-ocaml-dev from build-deps (Why is not needed anymore to build Frama-C). * Run dh using "--with ocaml" to trigger dh-ocaml sequence * Build-depend on ocamlgraph 1.3 * Add a new binary package: frama-c-base Checksums-Sha1: 2283bd95607281a4e21be1684f47d1442cd36bf5 2208 frama-c_20090902+beryllium+dfsg-1.dsc 4f12d2d6b1c24e4077758707aba14c64858a482e 1581288 frama-c_20090902+beryllium+dfsg.orig.tar.gz 57112fe88b931c4108b3496abd22c68d0f899a72 23000 frama-c_20090902+beryllium+dfsg-1.diff.gz 858c2226f0157db6206e73307bddf78698321b72 2788292 frama-c_20090902+beryllium+dfsg-1_i386.deb b6927544e97a60d673a9c073bbc22223f6bb193f 22380096 frama-c-base_20090902+beryllium+dfsg-1_i386.deb Checksums-Sha256: ed4ea587bc14db3e45613c3a2a349b64c0c1addc4e52589ffeb89e850e97d6ad 2208 frama-c_20090902+beryllium+dfsg-1.dsc 9f387d3323e70cbce98192f11c0340d46cde49545cbe82e9f50b80c4da45ac4c 1581288 frama-c_20090902+beryllium+dfsg.orig.tar.gz 6b46fab129508eea81339c60a8705d393dbfcfbe244d37f9ce3e68507e70e268 23000 frama-c_20090902+beryllium+dfsg-1.diff.gz a20f3d9f3d885d724e42789fca1672744539ac60f31b70fd0f8a55b862ec57a0 2788292 frama-c_20090902+beryllium+dfsg-1_i386.deb 98f9dd54075c8e636821d98864c28ccf49cad0734436a1723d513eee995f88d9 22380096 frama-c-base_20090902+beryllium+dfsg-1_i386.deb Files: d8740b2427b03b6d982d65e85ade557a 2208 math extra frama-c_20090902+beryllium+dfsg-1.dsc d947a9dec0b1fb06a171da7bc2bd1eb4 1581288 math extra frama-c_20090902+beryllium+dfsg.orig.tar.gz 879e7a241d8868c818b7721bdcd56fdc 23000 math extra frama-c_20090902+beryllium+dfsg-1.diff.gz 60c10154f3e25a76fe47763b898cf0bc 2788292 math extra frama-c_20090902+beryllium+dfsg-1_i386.deb 8edad44b7b60a91cad6b54afdf6926d5 22380096 math extra frama-c-base_20090902+beryllium+dfsg-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJLSvhFAAoJEDO+GgqMLtj/LLIP/19jrV1eYPKE5u+bgBqyriP9 vfeR2/w+ocBy46ZjhWi1rheb1zR32OfBBRq9GzSP7VV3jveG3gIJem4GShXVn3PD HUL2Fog4BbBTgDCE62yL3wNg7mGVTakpAA0WVqFplWqP3dKtfI44jQIOl5749SDe xMMfuzleaGnSxtzwf+WFxd23UjvUD47ei1XqIKZU+dIZMNaZTgq75WTMjYzl2VAV oxAhJ4WasAtXCQNiEz2FiFe/1reV6USGIiaDR/xuH8buzQTcKZeMea1CZtPqrJ0w rCkoPMy7DX8YAv76VogXHbwluzsPRZMDdmlye6pNpdRU16mcqgsu+5fHV/is518E ExUR67SCf+Mubhk9zCsx2wt1lAi3WW5O+e+o8VSHXZQl7qhMnReQoVRf//jRdhNc /dNWzxt7dHu0rwuBFzS6ZWpQGMiTzzXJtoCa3HWjy78mpORj5byjHOPtaprNpy9f K1jXJXsA1k6sMtjn/gviKSwc8P6BznQpIiTOmy4gqXvgCvpMc3LrbaqKzRlKKe9o KzdJKPaBtbuYOnFDC4WPn6S2hYvdnkCOUAL02soZ8/+QAeDlbQvQFyms7vMg24an +N5rEBqW80x7FDfl273LfWS7Z0fU/jlIJswLbEfaPEw44Gz0/nBZsr7nSw+1qJfZ VLfR/zrioYnbwRDtdY14 =zoTG -----END PGP SIGNATURE----- Accepted: frama-c-base_20090902+beryllium+dfsg-1_i386.deb to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-1_i386.deb frama-c_20090902+beryllium+dfsg-1.diff.gz to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1.diff.gz frama-c_20090902+beryllium+dfsg-1.dsc to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1.dsc frama-c_20090902+beryllium+dfsg-1_i386.deb to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1_i386.deb frama-c_20090902+beryllium+dfsg.orig.tar.gz to main/f/frama-c/frama-c_20090902+beryllium+dfsg.orig.tar.gz