RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:52:44 +01:00
Code Releases Activity

hacl: Switch git address to RIOT-OS-pkgmirror

Browse Source
This commit is contained in:
chrysn 2021-10-01 13:09:16 +02:00
parent 3e007208f2
commit 5cded0df97
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/hacl/Makefile
View File

@ -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