diff --git a/profunctors.ipkg b/profunctors.ipkg index 7a110d0..796229c 100644 --- a/profunctors.ipkg +++ b/profunctors.ipkg @@ -1,5 +1,5 @@ package profunctors -version = 1.1.1 +version = 1.1.2 brief = "Profunctors for Idris2"