-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 16 May 2012 14:58:29 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20111001+nitrogen+dfsg-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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 (20111001+nitrogen+dfsg-4) unstable; urgency=low . * Port to OCamlgraph 1.8.2 - add 0007-Port-to-OCamlgraph-1.8.2.patch * Bump Standards-Version to 3.9.3, no changes needed Checksums-Sha1: ac039cde1e68cd9971b2ec7aff8ca2cf9fe19eeb 1949 frama-c_20111001+nitrogen+dfsg-4.dsc f82b42ebacf62d0292bed4424ae94a9dfb84449f 29649 frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz 9db727ef650e0767e226d2079bb358831505696f 3705350 frama-c_20111001+nitrogen+dfsg-4_amd64.deb 3ce8ec4309c3705998e2e7360a64143b590661e0 29702932 frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb Checksums-Sha256: c2451384f5d2595f8be9153bdabe5f8a02b7c75e4cbdad47c03390d2998c5e76 1949 frama-c_20111001+nitrogen+dfsg-4.dsc 1c193f422ce44d22d7117633af04039874cd640392ed4a324805f0ec6711f33a 29649 frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz 2aca88844ccff85fee6dc1023b394eb28513cbef3ff6afabe8836346f85b47b1 3705350 frama-c_20111001+nitrogen+dfsg-4_amd64.deb 2876db4406990fb2eaeda9bb7b8dca39501af905ebe128bedd2fb8767b6e49e4 29702932 frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb Files: dbb764580241991b1f9c3b2aab294070 1949 devel optional frama-c_20111001+nitrogen+dfsg-4.dsc 2de6b01a18d17303b3d77a6c4203a72d 29649 devel optional frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz 21d2f91b21a5c9c213e9aed941d40300 3705350 devel optional frama-c_20111001+nitrogen+dfsg-4_amd64.deb 8fd0d3c38805318bd8ae10696600a1fc 29702932 devel optional frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJPs6aEAAoJEDe1GR0FRlJoEL0H/3qewbqgD98KUceV2wFOxglI f6nnfA6qqzWokYSylZRRZ0MiSwKPwTh0lKavEIypvunjLEOgtU4V3Ch+F90DdwjW AzrOVsXaphJooXzBpykB56+hFfon7k+7vHiWVJ8fGhLT8ZP/eR1/7f7gqou1hIdn 9rVIuRcDUzLHJ4ucYsJ4qJHCLcl7NGpibk6fcn3vNSyaaMmwHcdxZIa/pPSRvwSh 55PkaqDrAyD+yWIOoHxdfOwluAdOoopt4xU+BWQHI4uqwzcWx+bS+eWaED0hGeSI nKTz//w9dyq1QIdAW5qIlBPlM5TKwXHXUUCkJVi9UhHMICtjYYQTogWjwlpY9jA= =QeHX -----END PGP SIGNATURE----- Accepted: frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb to main/f/frama-c/frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz frama-c_20111001+nitrogen+dfsg-4.dsc to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-4.dsc frama-c_20111001+nitrogen+dfsg-4_amd64.deb to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-4_amd64.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1suel2-0005re...@franck.debian.org