idris-0.9.18: test/idrisdoc006/package_b.ipkg

package test_merge

opts = "--quiet"

modules = B