1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2026-01-01 01:41:18 +01:00
Benjamin Valentin 4c9a3c0434 pkg/hacl: switch upstream to backup copy
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.
2020-11-16 16:34:41 +01:00
..
2020-08-19 23:25:25 +02:00
2020-06-28 21:50:51 +02:00
2020-10-26 20:29:42 +01:00
2020-10-20 16:42:33 +02:00
2020-10-23 02:43:10 +02:00
2020-10-23 02:43:10 +02:00
2020-10-15 18:52:51 +02:00
2020-10-23 02:43:10 +02:00
2020-10-22 09:44:04 +02:00
2020-10-01 18:55:51 +02:00
2020-11-05 10:53:21 +01:00
2020-10-23 02:43:10 +02:00
2020-08-17 16:29:48 +02:00
2020-11-12 12:54:54 +01:00
2020-11-12 12:07:20 +01:00
2020-10-23 02:43:10 +02:00