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