Accepted frama-c 20111001+nitrogen+dfsg-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 06 Jan 2012 09:30:44 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20111001+nitrogen+dfsg-3
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-3) unstable; urgency=low
.
* Include patchlevel2 for Nitrogen 20111001.
- add debian/patches/0006-Patchlevel2-for-Nitrogen-20111001.patch
Checksums-Sha1:
5199f82af1c741854832f14c4144b6148f13627c 1949 frama-c_20111001+nitrogen+dfsg-3.dsc
e71cd888122906f87d29b1059a019f31450f0444 29041 frama-c_20111001+nitrogen+dfsg-3.debian.tar.gz
40cd687ae0c023252eb3a449fbeca5465c0b031f 3690504 frama-c_20111001+nitrogen+dfsg-3_amd64.deb
dfa6074034c2794996882e66b055f1daab297e12 29689194 frama-c-base_20111001+nitrogen+dfsg-3_amd64.deb
Checksums-Sha256:
4cfc4d5c0011d02c129f0f7006b101f297d3eaee560f222317337c5b42353cae 1949 frama-c_20111001+nitrogen+dfsg-3.dsc
1e7167535490284f1cc158dda1ab163fa05015a63f0aaae639e0e50c42ad7a69 29041 frama-c_20111001+nitrogen+dfsg-3.debian.tar.gz
f6d5c43a7a427c5f82cb6a2c6a6e3b91ad9f824f67712c920504afd0074d35d2 3690504 frama-c_20111001+nitrogen+dfsg-3_amd64.deb
2cacd1b54ce6454a26319cea9ac66c8ea2594cc23c8cf7d9bbffa5e6a96fcd0f 29689194 frama-c-base_20111001+nitrogen+dfsg-3_amd64.deb
Files:
431689823e1f076e9a54f3079490d7c4 1949 devel optional frama-c_20111001+nitrogen+dfsg-3.dsc
ded5c3e15539cc7aa1a3ba77aeb76ca7 29041 devel optional frama-c_20111001+nitrogen+dfsg-3.debian.tar.gz
1383c6e9cc9c9f6b40cb280162de8629 3690504 devel optional frama-c_20111001+nitrogen+dfsg-3_amd64.deb
34de2f80e12a9e79d86cc53d87a4be48 29689194 devel optional frama-c-base_20111001+nitrogen+dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJPBrgmAAoJEDe1GR0FRlJoC5kIAJMitu5wPvqMp/mOIV0DyjZt
+xfLjOCNcNnnx5yhgVtGlZGVdqotkcBOjht2mrJN/ns5IiM+8hjQCNqekkAysRs6
hrtxbaUjNm/GTI2ZO416z13TuMQGLTve4SDLojJHmxHlQ/U+MiyFtqJ7E6UpJJ6p
tsmxbNoo54DMwhmfRWTblN+ckmmuDI9z5OqdYT6Dl98wQ7JnpB97YcSHwW2/Jb8t
FWZybcYOX4yGIsGSubuQt3EicQsRzMXO0eWWhmq98pabciQGtX/KXyF/y69Eudmm
xOnPih79n+dQ9C3M29CkD3uRfRntRVRkVKybVyoHMbnL+vpQcS0PINbH3JxBm/k=
=VYqL
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20111001+nitrogen+dfsg-3_amd64.deb
to main/f/frama-c/frama-c-base_20111001+nitrogen+dfsg-3_amd64.deb
frama-c_20111001+nitrogen+dfsg-3.debian.tar.gz
to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-3.debian.tar.gz
frama-c_20111001+nitrogen+dfsg-3.dsc
to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-3.dsc
frama-c_20111001+nitrogen+dfsg-3_amd64.deb
to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-3_amd64.deb