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).