Package Downloads for dafny-reportgenerator