idris-0.9.18: test/idrisdoc006/package_a.ipkg

package test_merge

opts = "--quiet"

modules = A.fully.Qualified.NAME