From 78dba7382ca61a52a07ed244abc1665c81659df1 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Wed, 5 Jan 2022 14:45:58 +0000 Subject: agda-categories: remove unnecessary version suffix --- yellowsquid/packages/agda.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index f8f3a44..334c42f 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -125,7 +125,7 @@ normalisation performance.") (define-public agda-stdlib agda-stdlib-1.7.1) -(define-public agda-categories-0.1.7.1 +(define-public agda-categories (package (name "agda-categories") (version "0.1.7.1") -- cgit v1.2.3