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