packages feed

idris-0.9.19: test/reg049/expected

reg049.idr:2:9:When checking constructor Main.Bogus:
Void is not Main.Foo
reg049.idr:5:6:When checking right hand side of uhOh:
No such variable Bogus