packages feed

idris-1.3.3: test/bounded001/expected.out

FFFF
0000
FFFFFFFF
00000000
FFFFFFFFFFFFFFFF
0000000000000000