frama-c_20081201.dfsg-3_amd64.changes ACCEPTED

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

Accepted:
frama-c_20081201.dfsg-3.diff.gz
  to pool/main/f/frama-c/frama-c_20081201.dfsg-3.diff.gz
frama-c_20081201.dfsg-3.dsc
  to pool/main/f/frama-c/frama-c_20081201.dfsg-3.dsc
frama-c_20081201.dfsg-3_amd64.deb
  to pool/main/f/frama-c/frama-c_20081201.dfsg-3_amd64.deb


Override entries for your package:
frama-c_20081201.dfsg-3.dsc - source devel
frama-c_20081201.dfsg-3_amd64.deb - extra devel

Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 533158 


Thank you for your contribution to Debian.