Pin .NET version to 3.1.100-1

diff --git a/deps/dotnet/install_on_ubuntu.sh b/deps/dotnet/install_on_ubuntu.sh
index eeadd9f..59a42fe 100755 (executable)
--- a/deps/dotnet/install_on_ubuntu.sh
+++ b/deps/dotnet/install_on_ubuntu.sh
@@ -10,4 +10,4 @@ sudo apt install ./data/"$PKG"
 sudo apt update
 sudo apt install apt-transport-https
 sudo apt update
-sudo apt install dotnet-sdk-3.1
+sudo apt install dotnet-sdk-3.1=3.1.100-1