txlyre 3 روز پیش
والد
کامیت
2c89f1dda3
1فایلهای تغییر یافته به همراه1 افزوده شده و 1 حذف شده
  1. 1 1
      langs/fsharp/Dockerfile

+ 1 - 1
langs/fsharp/Dockerfile

@@ -1,6 +1,6 @@
 ENV DOTNET_NOLOGO=true
 RUN apt-get install wget -y
-RUN wget -c https://packages.microsoft.com/config/debian/12/packages-microsoft-prod.deb -O packages-microsoft-prod.deb
+RUN wget -c https://packages.microsoft.com/config/debian/13/packages-microsoft-prod.deb -O packages-microsoft-prod.deb
 RUN yes | dpkg -i packages-microsoft-prod.deb
 RUN rm packages-microsoft-prod.deb
 RUN apt-get update