Accepted frama-c 20111001+nitrogen+dfsg-4 (source amd64)
-----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-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 (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