Mirror of packages-hoopl repository. DO NOT SUBMIT PULL REQUESTS HERE