-----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-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <dog...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org