Package Downloads for gendloop-ppx