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