packages feed

idris-0.9.13: test/idrisdoc005/TestTracing.idr

module TestTracing

test : Bool
test = True