diff --git a/profunctors.ipkg b/profunctors.ipkg index 4959d9d..7a110d0 100644 --- a/profunctors.ipkg +++ b/profunctors.ipkg @@ -1,6 +1,8 @@ package profunctors version = 1.1.1 +brief = "Profunctors for Idris2" + authors = "Kiana Sheibani" license = "MIT"