verilog 0.8.5-1 MIGRATED to testing

FYI: The status of the verilog source package
in Debian's testing distribution has changed.

  Previous version: 0.8-4.2
  Current version:  0.8.5-1

-- 
This email is automatically generated; henning@makholm.net is responsible.
See http://people.debian.org/~henning/trille/ for more information.