Back to frama-c PTS page

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