idris-0.9.13: test/idrisdoc006/package_b.ipkg

package test_merge

modules = B