diff options
| -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") |