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

Format: 1.8
Date: Mon, 02 Jan 2012 17:29:13 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20111001+nitrogen+dfsg-1
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)
Closes: 652257
Changes: 
 frama-c (20111001+nitrogen+dfsg-1) unstable; urgency=low
 .
   * New upstream release (Closes: #652257).
   * Update patches:
     - remove 0001-Value-Analysis-Carbon-patchlevel-1.patch
     - remove 0002-Fix-for-issue-727.patch
     - rebase 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch
     - update 0004-Accept-ocamlgraph-1.8.patch
     - add 0003-Fix-spelling-error-in-binary.patch
     - add 0004-Use-bin-cp-instead-of-usr-bin-install.patch
   * Bump minimum requirement for ocamlgraph to 1.8.
   * Bump Standards-Version to 3.9.2, no changes needed.
Checksums-Sha1: 
 3f2fa6076d186aef6d600c50dd124332fd47486d 1949 
frama-c_20111001+nitrogen+dfsg-1.dsc
 16dbf5c1bd9902a2908d0c1e19d174b5abe32da7 2719515 
frama-c_20111001+nitrogen+dfsg.orig.tar.gz
 b7def1d9e54ea96f83f4e36086da519a0f910625 24960 
frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz
 38fcc7b1ac5ba4097666d4e93f612b2d98054230 3689548 
frama-c_20111001+nitrogen+dfsg-1_amd64.deb
 81f5ea5f6dc67a651d91b4d1cd396f64fbc67538 29687162 
frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb
Checksums-Sha256: 
 6373a0bbf5902af3767c08e7533099e4a8d4f99c566ce0db1f8d466fde6eeb5d 1949 
frama-c_20111001+nitrogen+dfsg-1.dsc
 f6b699bd27e3539beb2212d57212b276cb5c444a87dc9553dc622bbd807173e2 2719515 
frama-c_20111001+nitrogen+dfsg.orig.tar.gz
 9eb8a8a15b9928d70c5ddbcf18a8dac04ae7366ecafe6a3a9047379b726a6ffa 24960 
frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz
 a6d67989710e45b35a9aaf3ac7b3ac728741ed063418ad9b89b086a01724ffd8 3689548 
frama-c_20111001+nitrogen+dfsg-1_amd64.deb
 71289c88fdf843225aece123a8ad9afd1b3f5905ca3bd4e5d3653f5b0c1b3f7d 29687162 
frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb
Files: 
 73dead9bab4f0742685e02a2317c0879 1949 devel optional 
frama-c_20111001+nitrogen+dfsg-1.dsc
 7a512643cb35cf516c488bc9734210f7 2719515 devel optional 
frama-c_20111001+nitrogen+dfsg.orig.tar.gz
 f18fb2328f5a42df906a2a6f3c7c6b66 24960 devel optional 
frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz
 797b5ec73c862baf07f8726436eb6c14 3689548 devel optional 
frama-c_20111001+nitrogen+dfsg-1_amd64.deb
 75eb17e239c7cee8beb960d7fbb9fb3c 29687162 devel optional 
frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb

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

iQEcBAEBAgAGBQJPAuJ6AAoJEDe1GR0FRlJoFOgH/0LjmTmPqjgOOTAEZVW6vekW
YSTdBrcnBA1G8p/iek+X5OPTMiiF1mTV1nLvTf4W55KwGv/9FqnJDq8LK4KdHegR
GGXF5MKYYzUwEK3tSuKb8vUPGBAR6n+BDp7UWYbqPTkukr7wsTZfvT2x14cvbK2a
qRJhXUnkph73sGJuBGY3ShALzJOmI5iMBIcAnxReyb15tXaLBD5pbGhYK88rCoOg
gbb3FIos9j/3Z81mXJL0weVjpSvGRtc+C1VmPNDviqoBKHYEq+dXwJPGk8jMgueR
0tQOVdD/y6aKYC2MVQhXq19C6bA2OKojLmcwgaX7jkXm0BGzO6x0W2KdIQll/MY=
=wA0j
-----END PGP SIGNATURE-----


Accepted:
frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb
  to main/f/frama-c/frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb
frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz
  to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz
frama-c_20111001+nitrogen+dfsg-1.dsc
  to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1.dsc
frama-c_20111001+nitrogen+dfsg-1_amd64.deb
  to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1_amd64.deb
frama-c_20111001+nitrogen+dfsg.orig.tar.gz
  to main/f/frama-c/frama-c_20111001+nitrogen+dfsg.orig.tar.gz


-- 
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/e1ri2bo-0007bk...@franck.debian.org

Reply via email to