From 573c461d9b9986046217448825d1ec586deb71fc Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Tue, 14 Mar 2023 14:06:13 -0400
Subject: [PATCH] Add brief package description

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

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"