idris-0.12.3: test/idrisdoc004/test_interfaces.ipkg

package test_interfaces

opts = "--quiet"

modules = TestInterfaces