Use cabal's userAgent.