Package Downloads for Prover.SpecWriter