Accepted frama-c 20090902+beryllium+dfsg-5 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 25 Mar 2010 11:14:43 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source i386
Version: 20090902+beryllium+dfsg-5
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: 575371
Changes:
frama-c (20090902+beryllium+dfsg-5) unstable; urgency=low
.
* Build-Depend on libocamlgraph-viewer-ocaml-dev (Closes: #575371)
Checksums-Sha1:
98978916d333f1de027941ca21a94264f681ff24 2225 frama-c_20090902+beryllium+dfsg-5.dsc
e1683d422b5c9306b827746ab30facf4042f2949 24202 frama-c_20090902+beryllium+dfsg-5.diff.gz
3c1347e83f34aa3f0c4fc1e0663fd443cc26476c 2789470 frama-c_20090902+beryllium+dfsg-5_i386.deb
4e806179848b291ca2fcbd994b4c3ab038a1916b 22386024 frama-c-base_20090902+beryllium+dfsg-5_i386.deb
Checksums-Sha256:
be185b5b329bbf66f6b0f80fea0a6a2f7ac599bab663c37a8ccc7b68d6b03eb3 2225 frama-c_20090902+beryllium+dfsg-5.dsc
e39a82d2d1f47e7ac54a0ce92c482d29b14d4e1fabf403e40f2d14a0ee9f5603 24202 frama-c_20090902+beryllium+dfsg-5.diff.gz
701f15e2a2fa2626e47a151b1536821b1591bed4c7df7574912f9889a82a396d 2789470 frama-c_20090902+beryllium+dfsg-5_i386.deb
c0b612e6ba5dc99478e6ddb49db5bf03da86fe8b1f7bc185f6a07c3363b7b318 22386024 frama-c-base_20090902+beryllium+dfsg-5_i386.deb
Files:
ecfeb87bb51d821537d2158e6e2e31bb 2225 devel extra frama-c_20090902+beryllium+dfsg-5.dsc
316b0640266a3dcccd65739d9917b704 24202 devel extra frama-c_20090902+beryllium+dfsg-5.diff.gz
762d371153101b8108f0756b632b3841 2789470 devel extra frama-c_20090902+beryllium+dfsg-5_i386.deb
5a948d453806ffac5009c81fac2e8649 22386024 devel extra frama-c-base_20090902+beryllium+dfsg-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLqzldAAoJEDO+GgqMLtj/vwgP/R5eldd8T/ahYci32O5ireRN
He7cRyLBEOR/igJqcopkbbkmZmel8su9veroQ0Rvkjoc5IChdE3L4/1rwy710Wx4
Z6X+g9/p1WoBBsFFcKfewFNS0ESOCXdX2kumuNESLoNpvoNVd3P8XlmHvEsagg+C
qBn9meCC7CgWnLi/UHebKrYx/Wr/JGbbSLfdmNmJv4IvGyfONuV+q7RbGKhNoOw9
7BadGIY8/5QlIgTxfrQmRl3K/7riekXPQpGetuDVteNbi0aIgKDdj61HOJDp9Yyb
r/wvRYoA/ytkxz5HhsSZbI5RP7DFLWQet8jnF6CErRvfuT2E2rVczWHFRGl2tFD+
q0PpqdGhA8ZG+e2YT2l56nh3q4y4RDXni0mfwUJ+mJVf0mn0gCkvK0+mQkc6EoPE
7iQM0aL+n9WYijw/Tb2ckr4izDvy8ulHmHlTpLEvcuyc7SPw5LXqHqmHqHLSVTEi
y0Fb5T1B0+EIIAamoTRzR3KWrkJXyRiF2pYTjPeR/8o41adPIkfKAOoaCrI9ozLb
57nxmzbrzUdfufD0FyRu4/sB8Bf9yaHOTNYgB5MaUKDl0QwugZWWHZDjTxscFkLs
/ddMMjPYWrXdNJxLoObQKpETVZ37PcFfSLEVoc3hbiF/ko+0HgOFUOBvkB/qomI+
Y49DCPsQIQwrzn6zjnqD
=L+fd
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20090902+beryllium+dfsg-5_i386.deb
to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-5_i386.deb
frama-c_20090902+beryllium+dfsg-5.diff.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-5.diff.gz
frama-c_20090902+beryllium+dfsg-5.dsc
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-5.dsc
frama-c_20090902+beryllium+dfsg-5_i386.deb
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-5_i386.deb