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"