From 5cded0df97787c41cf2b2ae9038d68078dc76b22 Mon Sep 17 00:00:00 2001
From: chrysn <chrysn@fsfe.org>
Date: Fri, 1 Oct 2021 13:09:16 +0200
Subject: [PATCH] hacl: Switch git address to RIOT-OS-pkgmirror

---
 pkg/hacl/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkg/hacl/Makefile b/pkg/hacl/Makefile
index 59f011c1b7..9154f20a21 100644
--- a/pkg/hacl/Makefile
+++ b/pkg/hacl/Makefile
@@ -1,7 +1,7 @@
 PKG_NAME=hacl
 # TODO: switch to https://github.com/project-everest/hacl-star
-# backup of last state before upstream was deleted
-PKG_URL=https://github.com/benpicco/hacl-c_archived
+# The mirror was promoted from backup to main URL because upstream was deleted
+PKG_URL=https://github.com/RIOT-OS-pkgmirror/hacl-c_archived
 PKG_VERSION=aac05f5094fc92569169d5a2af54c12387160634
 PKG_LICENSE=MIT