diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:45:58 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:45:58 +0000 |
| commit | 78dba7382ca61a52a07ed244abc1665c81659df1 (patch) | |
| tree | e7fc84044ba6ec477251700b3fdd4799cc542f56 | |
| parent | 644aa85ed577fc56ffd1f2c884fdf372ea5b02e7 (diff) | |
agda-categories: remove unnecessary version suffix
| -rw-r--r-- | yellowsquid/packages/agda.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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") |