From 6b73afae447c1efa30a1f9e41622c1d7a682cc98 Mon Sep 17 00:00:00 2001 From: Vaibhaw Date: Wed, 1 Mar 2023 18:50:09 +0530 Subject: [PATCH] Removing unencrypted git protocol --- scripts/deps-ppa/static_z3.sh | 2 +- scripts/release_ppa.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index fa237ba08..ca1543783 100755 --- a/scripts/deps-ppa/static_z3.sh +++ b/scripts/deps-ppa/static_z3.sh @@ -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 diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index 2acd62cd3..aff2e7c25 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -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