diff --git a/language-server/build-windows-platform.bat b/language-server/build-windows-platform.bat
index 71994cb49..044e5020f 100644
--- a/language-server/build-windows-platform.bat
+++ b/language-server/build-windows-platform.bat
@@ -2,7 +2,7 @@ REM Download platform script
 
 SET PATH=%PATH%;C:\Program Files\7-Zip;C:\Program Files\Git\mingw64\bin
 
-SET PLATFORM=https://github.com/coq/platform/archive/coq-ci.zip
+SET PLATFORM=https://github.com/coq/platform/archive/main.zip
 
 SET ARCH=64