From 66a493a223251abc823e94499fefacac77b434c6 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Thu, 20 Apr 2023 14:02:35 -0400
Subject: [PATCH] Update ipkg

---
 lens.ipkg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lens.ipkg b/lens.ipkg
index 5b59be2..4140b91 100644
--- a/lens.ipkg
+++ b/lens.ipkg
@@ -1,7 +1,7 @@
 package lens
-version = 0.0.0
+version = 0.1.0
 
-brief = "Batteries-included profunctor optics for Idris2"
+brief = "Batteries-included profunctor optics"
 
 authors = "Kiana Sheibani"
 license = "MIT"