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