idris-0.9.13: test/idrisdoc006/package_a.ipkg

package test_merge

modules = A.fully.Qualified.NAME