From 084ebe4d1f5332c87c879e1134efb1fc2b7a2652 Mon Sep 17 00:00:00 2001 From: Karolis Petrauskas Date: Tue, 30 Jan 2024 16:52:43 +0200 Subject: [PATCH] Use HTTPS to download the Isabelle. Signed-off-by: Karolis Petrauskas --- deps/isabelle/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/isabelle/Makefile b/deps/isabelle/Makefile index aa78d541..3d029e46 100644 --- a/deps/isabelle/Makefile +++ b/deps/isabelle/Makefile @@ -19,7 +19,7 @@ ifeq ($(OS_TYPE),Cygwin) FIND_EXEC=-executable endif -ISABELLE_URL=http://isabelle.in.tum.de/website-$(ISABELLE_VSN)/dist/$(ISABELLE_ARCHIVE) +ISABELLE_URL=https://isabelle.in.tum.de/website-$(ISABELLE_VSN)/dist/$(ISABELLE_ARCHIVE) ISABELLE_DIR=Isabelle # Some defaults, for the case if makefile is called not by the dune build system.