cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Removing unencrypted git protocol

Browse Source
This commit is contained in:
Vaibhaw
2023-03-16 11:42:42 +01:00
committed by Rodrigo Q. Saramago
parent 9a207ad27c
commit 6b73afae44
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/deps-ppa/static_z3.sh
+1 -1
View File
@@ -89,7 +89,7 @@ Build-Depends: debhelper (>= 9.0.0),
python3
Standards-Version: 3.9.6
Homepage: https://github.com/Z3Prover/z3
Vcs-Git: git://github.com/Z3Prover/z3.git
Vcs-Git: https://github.com/Z3Prover/z3.git
Vcs-Browser: https://github.com/Z3Prover/z3
Package: z3-static