marc
/
RIOT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge pull request #4743 from OlegHahm/pin_relic_pkg

Browse Source 
pkg relic: pin to a specific version
pr/gpio
Cenk Gündoğan 7 years ago
parent 55b5b434b1 25c6d1f187
commit f4006a67f1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
pkg/relic/Makefile
Unescape Escape View File

@ -1,5 +1,5 @@
RELIC_URL=http://github.com/relic-toolkit/relic.git
RELIC_BRANCH=master
RELIC_BRANCH=cdcfaeef101d18c3231c3b46359c519dd72682e8
PKG_NAME=relic
PKG_URL=$(RELIC_URL)

Write Preview
Loading…
Cancel
Save