cerc-io/solidity
16
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

Merge pull request #14020 from krvaibhaw/develop

Browse Source 
Update Solidity scripts to remove unencrypted git protocol
This commit is contained in:
Kamil Śliwak 2023-04-04 15:05:39 +02:00 committed by GitHub
commit a1fbf6b097
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/deps-ppa/static_z3.sh
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

2
scripts/release_ppa.sh
View File

@ -173,7 +173,7 @@ Build-Depends: ${SMTDEPENDENCY}debhelper (>= 9.0.0),
scons
Standards-Version: 3.9.5
Homepage: https://ethereum.org
Vcs-Git: git://github.com/ethereum/solidity.git
Vcs-Git: https://github.com/ethereum/solidity.git
Vcs-Browser: https://github.com/ethereum/solidity
Package: solc