idris2-tap/tap.ipkg

package tap
version = 0.1

authors   = "rhiannon morris"
sourceloc = "https://git.rhiannon.website/rhi/idris2-tap"
license   = "acsl"

depends = base, contrib

sourcedir = "."
modules = TAP.Options, TAP
first 2022-05-26 08:23:50 -04:00			`package tap`
			`version = 0.1`

			`authors = "rhiannon morris"`
uncomment sourceloc 2022-05-26 09:44:31 -04:00			`sourceloc = "https://git.rhiannon.website/rhi/idris2-tap"`
first 2022-05-26 08:23:50 -04:00			`license = "acsl"`

			`depends = base, contrib`

			`sourcedir = "."`
			`modules = TAP.Options, TAP`