From 2aeaebce3f6f7bb3606534500f86bc7ef1ae22d6 Mon Sep 17 00:00:00 2001 From: Alan Hu Date: Sun, 14 Mar 2021 00:43:51 -0500 Subject: [PATCH] Fix name of standard library in version 1.5 --- src/standard-library/versions/v1.5/standard-library.agda-lib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/standard-library/versions/v1.5/standard-library.agda-lib b/src/standard-library/versions/v1.5/standard-library.agda-lib index d8864a3..626387c 100644 --- a/src/standard-library/versions/v1.5/standard-library.agda-lib +++ b/src/standard-library/versions/v1.5/standard-library.agda-lib @@ -1,2 +1,2 @@ -name: standard-library-1.5 -include: src \ No newline at end of file +name: standard-library +include: src