idris-0.9.18: test/idrisdoc007/package.ipkg

package do_not_delete

opts = "--quiet"

modules = A