-----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-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: 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 -- 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/e1nukmo-0006qp...@ries.debian.org