idris-0.9.18: test/idrisdoc005/test_tracing.ipkg

package test_tracing

opts = "--quiet"

modules = TestTracing