riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #16941 from chrysn-pull-requests/hacl-use-pkgmirror

Browse Source 
hacl: Switch git address to RIOT-OS-pkgmirror
This commit is contained in:
chrysn 2021-10-04 16:10:50 +02:00 committed by GitHub
commit 4673f2c89a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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