Re-enable hopenpgp-tools
Re-enable hopenpgp-tools

soenkehahn/stackage,jonschoning/stackage,michalkonecny/stackage,clinty/stackage,simonmichael/stackage,iand675/stackage,mrkkrp/stackage,fpco/stackage,Daniel-Diaz/stackage,massysett/stackage