=== modified file 'debian/mandos-client.postrm'
--- debian/mandos-client.postrm	2015-07-12 02:08:25 +0000
+++ debian/mandos-client.postrm	2015-07-27 09:23:56 +0000
@@ -43,7 +43,8 @@
 	shred --remove /etc/keys/mandos/seckey.txt 2>/dev/null || :
 	rm --force /etc/mandos/plugin-runner.conf \
 	    /etc/keys/mandos/pubkey.txt \
-	    /etc/keys/mandos/seckey.txt 2>/dev/null
+	    /etc/keys/mandos/seckey.txt \
+	    /etc/keys/mandos/dhparams.pem 2>/dev/null
 	update_initramfs
 	;;
     upgrade|failed-upgrade|disappear|abort-install|abort-upgrade)