This is a collection of scripts for debian packaging of software verification
tools. The packaging is partially based on upstream packagers but provides
a multitude of enhancements (enabled GUIs, additionally activated features,
newer versions, additional software).