idris-0.9.13: test/idrisdoc007/package.ipkg

package do_not_delete

modules = A