Source: pvs2hdl
Section: unknown
Priority: optional
Maintainer: Mark Hillebrand <mah@cs.uni-sb.de>
Build-Depends: debhelper (>> 3.0.0), flex, bison, groff-base, perl
Standards-Version: 3.5.8

Package: pvs2hdl
Architecture: any
Depends: 
Description: Synthesize hardware from PVS sources
 No long description yet.