Processing of frama-c_20090601~beta1+dfsg-1_amd64.changes

[Archive Administrator <dak@ftp-master.debian.org>]

frama-c_20090601~beta1+dfsg-1_amd64.changes uploaded successfully to localhost
along with the files:
  frama-c_20090601~beta1+dfsg-1.dsc
  frama-c_20090601~beta1+dfsg.orig.tar.gz
  frama-c_20090601~beta1+dfsg-1.diff.gz
  frama-c_20090601~beta1+dfsg-1_amd64.deb

Greetings,

	Your Debian queue daemon