diff --git a/Formula/civl.rb b/Formula/civl.rb
index 61041a63cb..ca21b9aba9 100644
--- a/Formula/civl.rb
+++ b/Formula/civl.rb
@@ -1,7 +1,7 @@
 class Civl < Formula
   desc "The Concurrency Intermediate Verification Language"
-  homepage "http://vsl.cis.udel.edu/civl/"
-  url "http://vsl.cis.udel.edu/lib/sw/civl/1.7/r3157/release/CIVL-1.7_3157.tgz"
+  homepage "https://vsl.cis.udel.edu/civl/"
+  url "https://vsl.cis.udel.edu/lib/sw/civl/1.7/r3157/release/CIVL-1.7_3157.tgz"
   version "1.7-3157"
   sha256 "49ed0467ea281bf5a436b2caf4f87862d3f613fa9e6e746ce52cfd409c3f4403"
   revision 1