Accepted frama-c 20110201+carbon+dfsg-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 23 Apr 2011 18:47:13 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20110201+carbon+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: 610432
Changes:
frama-c (20110201+carbon+dfsg-1) unstable; urgency=low
.
* New upstream release:
- Update copyright file.
- Remove all patches, integrated by upstream.
- Add patches:
+ 0001-Value-Analysis-Carbon-patchlevel-1.patch
+ 0002-Fix-for-issue-727.patch
* Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853).
* No need to exclude custom bytecode binaries when running dh_strip.
(thanks to patch applied in OCaml >= 3.12.0-5)
Checksums-Sha1:
75feae757af2f329ab9a8a2444fb61267acaa427 1859 frama-c_20110201+carbon+dfsg-1.dsc
e7d5c9f7d28d473824710e1b0e4f0b623ef6c814 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz
50ed418355f5eba1956fee678561956a0991afd5 39657 frama-c_20110201+carbon+dfsg-1.debian.tar.gz
c07f7c1f075af55a6647641761f5ed5b15ef64b6 3715638 frama-c_20110201+carbon+dfsg-1_amd64.deb
0d0d95b5ed287e2ed2c3b2d147e045b29a34703a 21028760 frama-c-base_20110201+carbon+dfsg-1_amd64.deb
Checksums-Sha256:
f5f7eb61dc8070c019cc8428a5f215b053b4df44e9faaaa8da440ff78b5be714 1859 frama-c_20110201+carbon+dfsg-1.dsc
502e82bf33a0050e0e282a448188c64bc458273a2a7655b2509272e33c24dbbf 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz
8e65cece1e6060e9523d8e6f17fd7998b667ca04b92de47c61583490f1d4f87d 39657 frama-c_20110201+carbon+dfsg-1.debian.tar.gz
f9b4eee88a5cf5625a00ccdd157d3168f798215a1f40ad88506d4e1b926acdc1 3715638 frama-c_20110201+carbon+dfsg-1_amd64.deb
c1690b34ea78c58190f6c2022556725d63b4e14ba176f43a336a2210e6cc42ae 21028760 frama-c-base_20110201+carbon+dfsg-1_amd64.deb
Files:
6450cc0208560d994cfa3cc3e15a1086 1859 devel optional frama-c_20110201+carbon+dfsg-1.dsc
4fbb6723b6fa686d504b3f62e1d22ec7 2281355 devel optional frama-c_20110201+carbon+dfsg.orig.tar.gz
f5bbf2d5b7310eba4dadeb310214a1fb 39657 devel optional frama-c_20110201+carbon+dfsg-1.debian.tar.gz
588760568c2d5e4d52d35379ed84f2db 3715638 devel optional frama-c_20110201+carbon+dfsg-1_amd64.deb
e6112854273b87f33a8ef55d1a114c7c 21028760 devel optional frama-c-base_20110201+carbon+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJNtE1TAAoJEDe1GR0FRlJoZ3IH/ju0BcOWjhJUcnTX8FuJDZ5S
3RqZvXEYMybENhQMo59lA+KKHuwsNEGX3S8fgoKZcftUeZw9NAOgB3/tGSQ5GhAM
S6SziipLU/t3uvy8sapIRG+elA/KXUcBdg9Pn+dxa0UJn7z8tR4MqR5UOmA2l49F
rn9TFTKsJlLp+7q2+P87Ga/O1RPTOcRerIZ0pnM9ctc4PV/UXvbdFKSymBA5Sclv
J3wdXeS18d8OAYIqLyMZLGxocJsKhubcuAOJSK7KXyIxqOkGus/aqoOnCWGlDZmQ
d4DtdBFdjZj6sTl27WRhIIuM3K9BqPktFP1Otbzp1iA20LEhARYtDYNJb2KfG90=
=B2+s
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20110201+carbon+dfsg-1_amd64.deb
to main/f/frama-c/frama-c-base_20110201+carbon+dfsg-1_amd64.deb
frama-c_20110201+carbon+dfsg-1.debian.tar.gz
to main/f/frama-c/frama-c_20110201+carbon+dfsg-1.debian.tar.gz
frama-c_20110201+carbon+dfsg-1.dsc
to main/f/frama-c/frama-c_20110201+carbon+dfsg-1.dsc
frama-c_20110201+carbon+dfsg-1_amd64.deb
to main/f/frama-c/frama-c_20110201+carbon+dfsg-1_amd64.deb
frama-c_20110201+carbon+dfsg.orig.tar.gz
to main/f/frama-c/frama-c_20110201+carbon+dfsg.orig.tar.gz