idris-0.9.13: test/idrisdoc005/test_tracing.ipkg

package test_tracing

modules = TestTracing