-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 03 Jan 2012 15:24:55 +0100 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20111001+nitrogen+dfsg-2 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) Changes: frama-c (20111001+nitrogen+dfsg-2) unstable; urgency=low . * add 0005-Disable-CHMOD_RO-invocations.patch. Checksums-Sha1: b6397eef06cb5380aae02e3d5d307bfc90624c1c 1949 frama-c_20111001+nitrogen+dfsg-2.dsc 3feae82ce174d3fe9c345488de949082f521e277 24933 frama-c_20111001+nitrogen+dfsg-2.debian.tar.gz 44ada620fba8fe284e323551641eef1097ed6878 3689578 frama-c_20111001+nitrogen+dfsg-2_amd64.deb f2fb92f1b5163de253f08819706e8b5b5b726846 29687342 frama-c-base_20111001+nitrogen+dfsg-2_amd64.deb Checksums-Sha256: f717eb027762dbf8c20df444487aca0813bf99ad30896e48529e78d63566aa07 1949 frama-c_20111001+nitrogen+dfsg-2.dsc 441c3528455454ec58147771fc12a88c71147514b993305c6afc417f77a72c62 24933 frama-c_20111001+nitrogen+dfsg-2.debian.tar.gz fb0bc1aaf04fb8f6e99c3c3ee9326a5a6e974bcc678c6335029a0587a3c86b13 3689578 frama-c_20111001+nitrogen+dfsg-2_amd64.deb 0b9ce8f9d782862244a18613f6958edc7c917393738f512cee406a4352853a2d 29687342 frama-c-base_20111001+nitrogen+dfsg-2_amd64.deb Files: 3ea3c95eb52f99e2f7484e526e3e45a2 1949 devel optional frama-c_20111001+nitrogen+dfsg-2.dsc 77942d15d72ccb1bbbf8ef7fabd08ded 24933 devel optional frama-c_20111001+nitrogen+dfsg-2.debian.tar.gz 2063e20951b4b6f387cafb7907225868 3689578 devel optional frama-c_20111001+nitrogen+dfsg-2_amd64.deb cf8277f6816cc9abde33401a5ff782a8 29687342 devel optional frama-c-base_20111001+nitrogen+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJPAxG2AAoJEDe1GR0FRlJovjcH/21vfBJ3GWE6KkmOjO1s661k ytHU9cKPE/9gE1y9wzCPqTQE5DrpwLfhuA54DaqpAKbsw22r7kKZHm274RcJ/HRT PI0vzDRoI/8c1miPfx7cQ9q//w37Ouo0zM0L+b06pEPYiyTpkPuIJdm87ys01bX1 QmYX45Y4MCJOQso89AWCaiIXFr3SEk6mgVkdrPnwc45PmGUCISFeVWRHETHefrL4 WXhwqiiyWXVIvXRMVW3IqJfqkcNWlEw/rZnh1xV6CQ8ULYXwwkRYy5g3xJVCtPLc JfyRDlSKzkVG18pb/99WL7erKE4bYlrJSRtaWldBzMEr7LDmfyaO/lImGKM8rWE= =QJuR -----END PGP SIGNATURE----- Accepted: frama-c-base_20111001+nitrogen+dfsg-2_amd64.deb to main/f/frama-c/frama-c-base_20111001+nitrogen+dfsg-2_amd64.deb frama-c_20111001+nitrogen+dfsg-2.debian.tar.gz to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-2.debian.tar.gz frama-c_20111001+nitrogen+dfsg-2.dsc to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-2.dsc frama-c_20111001+nitrogen+dfsg-2_amd64.deb to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-2_amd64.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/e1ri5ty-00064p...@franck.debian.org