扫二维码与项目经理沟通
我们在微信上24小时期待你的声音
解答本文疑问/技术咨询/运营咨询/技术建议/互联网交流
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install dotnet-sdk-6.0找不到dotnet-sdk-6.0包，需要在/etc/apt/source.list中添加源：
sudo gedit /etc/apt/source.list
#添加deb http://cz.archive.ubuntu.com/ubuntu jammy-updates main universe
sudo apt-get update
sudo apt-get upgrade可能会出现如下错误：
缺少aspnetcore-runtime-6.0和dotnet-runtime-6.0两个包的安装，继续安装上述两个包
sudo apt-get install aspnetcore-runtime-6.0
sudo apt-get install dotnet-runtime-6.0此时报错信息如下：
安装libicu70找不到包名，/etc/apt/source.list添加源
#添加deb http://cz.archive.ubuntu.com/ubuntu jammy main
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install libicu70
sudo apt-get install dot-net-sdk-6.0sudo apt-get install openjdk-11-jdk
export VA_HOME="/usr/lib/jvm/java-11-openjdk-amd64"git clone https://github.com/dafny-lang/dafny.git --recurse-submodules
cd dafny
make exe
make z3-ubuntu
./Scripts/quicktest.sh出现如下，则表示安装成功
[1] https://github.com/dafny-lang/dafny/wiki/INSTALL#linux-source
你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧
我们在微信上24小时期待你的声音
解答本文疑问/技术咨询/运营咨询/技术建议/互联网交流
微信二维码
移动版官网