packages feed

idris-1.3.3: test/reg076/input.in