RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

pkg/hacl: switch upstream to backup copy

Browse Source 
The https://github.com/mitls/hacl-c repo was deleted.
Getting the new upstream (https://github.com/project-everest/hacl-star)
to work nicely as a package requires some non-trivial work and in the
meantime all CI jobs will fail.

As a short-term solution, switch the upstream to a backup version of
the original repository.
This commit is contained in:
Benjamin Valentin 2020-11-16 16:33:57 +01:00
parent a3e4c1eca5
commit 4c9a3c0434
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/hacl/Makefile
View File

@ -1,5 +1,7 @@
PKG_NAME=hacl
PKG_URL=https://github.com/mitls/hacl-c
# 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
PKG_VERSION=aac05f5094fc92569169d5a2af54c12387160634
PKG_LICENSE=MIT