dktools for Debian ------------------ -- Dirk Krause Sun, 11 Oct 2015 17:26:12 +0200