Accepted frama-c 20081201.dfsg-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 24 Apr 2009 23:47:35 +0200
Source: frama-c
Binary: frama-c
Architecture: source i386
Version: 20081201.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description:
frama-c - Framework for source code analysis of software written in C
Closes: 484234
Changes:
frama-c (20081201.dfsg-1) unstable; urgency=low
.
* Initial release (Closes: #484234)
* Codename: Lithium
Checksums-Sha1:
bf7e222107b1840eba1b93ba1457c05b48087178 1540 frama-c_20081201.dfsg-1.dsc
ec70701aac98f390d6f71bf22d901c746348ba7d 1615922 frama-c_20081201.dfsg.orig.tar.gz
287fec35634df2e0ae5b7428721be8fd319ad5a6 32117 frama-c_20081201.dfsg-1.diff.gz
c48ee9172508f4293a5663e4be3e44c34edd96a2 6115854 frama-c_20081201.dfsg-1_i386.deb
Checksums-Sha256:
517088087c395565ae8e3f914b5fb2028815d06c88890bbf21eb37ea944e2227 1540 frama-c_20081201.dfsg-1.dsc
2b87e6798afe95777461f3d61dd18666099b563c266c5c470390ead9242ee238 1615922 frama-c_20081201.dfsg.orig.tar.gz
f24fb0009e2fb2d9683a9f1b00809fb46fb94eba9ffe3133a468cb57d2162c3b 32117 frama-c_20081201.dfsg-1.diff.gz
41a32bda9a93cdc1693e79753eeacfacca1849d6069c1b121ab7b88aca8008c1 6115854 frama-c_20081201.dfsg-1_i386.deb
Files:
a971fec76e088876571fcea0eaa35187 1540 math extra frama-c_20081201.dfsg-1.dsc
ccb7e4d60a9b0ba15fffab34e91efcf0 1615922 math extra frama-c_20081201.dfsg.orig.tar.gz
fa32bc3f1d20d880202782aaf1041b30 32117 math extra frama-c_20081201.dfsg-1.diff.gz
017fdcfb8ae13786333f89a7ac9cc000 6115854 math extra frama-c_20081201.dfsg-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkolY3MACgkQIae1O4AJae9KGACfdENMtYlbmZeAwDgtf7c4lTVR
WkQAni3Esyeoso5DW+q1BS7XRLefMc4u
=iyJI
-----END PGP SIGNATURE-----
Accepted:
frama-c_20081201.dfsg-1.diff.gz
to pool/main/f/frama-c/frama-c_20081201.dfsg-1.diff.gz
frama-c_20081201.dfsg-1.dsc
to pool/main/f/frama-c/frama-c_20081201.dfsg-1.dsc
frama-c_20081201.dfsg-1_i386.deb
to pool/main/f/frama-c/frama-c_20081201.dfsg-1_i386.deb
frama-c_20081201.dfsg.orig.tar.gz
to pool/main/f/frama-c/frama-c_20081201.dfsg.orig.tar.gz
Reply to: