Back to frama-c PTS page

Accepted frama-c 20110201+carbon+dfsg-2 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 25 Apr 2011 12:03:31 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20110201+carbon+dfsg-2
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 (20110201+carbon+dfsg-2) unstable; urgency=low
 .
   * Add "-I +ocamlgraph" to DYN_{O,B}LINKFLAGS, needed for plugins to link.
     - add 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch
     - add libocamlgraph-ocaml-dev to frama-c-base's runtime dependencies.
Checksums-Sha1: 
 734420aa674ab15180d518518fbaa391d790699b 1859 frama-c_20110201+carbon+dfsg-2.dsc
 e5c0e4e2f83bd6d3d2a0fb24752b7f22ce3445d0 40013 frama-c_20110201+carbon+dfsg-2.debian.tar.gz
 626335fabc6605b3660d1beaa178e55fd7c22e8a 3715700 frama-c_20110201+carbon+dfsg-2_amd64.deb
 3a4c0b90b000162b710363f819ea5e8f5b86f088 21028368 frama-c-base_20110201+carbon+dfsg-2_amd64.deb
Checksums-Sha256: 
 270a036c852d36d164bce33714e0d0dbb332666f493e9800cbd3ddd5691e5210 1859 frama-c_20110201+carbon+dfsg-2.dsc
 11789e515507b9acfc08ad6543bffcab8b5acdd8c9ce7ecebcb9b487d004446c 40013 frama-c_20110201+carbon+dfsg-2.debian.tar.gz
 9fb43cd6f84588c7b177ee9dcf8e22923511b327ea09ac036a5504986560f8ff 3715700 frama-c_20110201+carbon+dfsg-2_amd64.deb
 86019509b745d7e1828fb05f4889feeb8fe8ebea35fdf10e60719b0bf8c75d9a 21028368 frama-c-base_20110201+carbon+dfsg-2_amd64.deb
Files: 
 4c92f99a8dc2186fd22edd4fb116a6ed 1859 devel optional frama-c_20110201+carbon+dfsg-2.dsc
 b41a4337719b15c225275e4a7bec970f 40013 devel optional frama-c_20110201+carbon+dfsg-2.debian.tar.gz
 3f4ffc4a31cf756772afe4b4d46e5e88 3715700 devel optional frama-c_20110201+carbon+dfsg-2_amd64.deb
 0bd0322040788d7e07133e048010288d 21028368 devel optional frama-c-base_20110201+carbon+dfsg-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEcBAEBAgAGBQJNtVAKAAoJEDe1GR0FRlJoJ38H/iWi/XDzQLazzNDwqQ4XWX7R
C5c18NFK20hxEdroQLph78YRFIdurShFknPRErSiGi2O2+Pg/Tp3qZp3AfXbDUvi
f7WMK/V6QU+BT7M5VPUOVXWoiNCnV4M2+FpeAPo73bqFHvwSW8+gQhbCS8fvNQwa
K7STtEQP7or9/x6QbDBAd/q/m+dwwoZgxIrvqpsp/gY8OWdyJC+nlmaofRNOzdrh
faONsXR0R/IimNTaRxiTI1giooJJoltRKxa4rmlgexFHhtvfLw9qVwdn9ux8zEXB
jhlcBE1IARxewjDcuDjgbfAcFWM+MkXvePqP0uB3GOYeEkeYI5Koy9a9ixk8F50=
=zXVH
-----END PGP SIGNATURE-----


Accepted:
frama-c-base_20110201+carbon+dfsg-2_amd64.deb
  to main/f/frama-c/frama-c-base_20110201+carbon+dfsg-2_amd64.deb
frama-c_20110201+carbon+dfsg-2.debian.tar.gz
  to main/f/frama-c/frama-c_20110201+carbon+dfsg-2.debian.tar.gz
frama-c_20110201+carbon+dfsg-2.dsc
  to main/f/frama-c/frama-c_20110201+carbon+dfsg-2.dsc
frama-c_20110201+carbon+dfsg-2_amd64.deb
  to main/f/frama-c/frama-c_20110201+carbon+dfsg-2_amd64.deb