Retired repository containing autobuilder, debian-repo, cabal-debian, and process-progress (2012-2014)