From e862ef887f9dcdf90eacb1ca1c0a997d7a251135 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Thu, 30 Mar 2023 14:10:13 -0400
Subject: [PATCH] Update ipkg

---
 profunctors.ipkg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"