Back to frama-c PTS page

Accepted frama-c 20081201.dfsg-1 (source i386)

To: debian-devel-changes@lists.debian.org
Subject: Accepted frama-c 20081201.dfsg-1 (source i386)
From: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Date: Tue, 02 Jun 2009 23:56:35 +0000
Message-id: <E1MBdqN-0000WD-9c@ries.debian.org>
Sender: Mike O'Connor <stew@ries.debian.org>

-----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