ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-19 03:06:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

solo5: migrate snapshot archive to genode.org

Browse Source
This commit is contained in:
Christian Helmuth 2019-10-14 09:09:00 +02:00
parent 43f28e0451
commit d4a3db22bd
2 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/ports/solo5.hash
View File

@ -1 +1 @@
9d1dcd38b2f71a7e8062ceb13072d17ec725a536
55dd4fb026c0d4a7cc192c8228e4a6344f5781ef

4
repos/libports/ports/solo5.port
View File

@ -2,10 +2,8 @@ LICENSE := ISC
VERSION := HEAD
DOWNLOADS := solo5.archive
OWNER := ehmry
REPO := solo5
REV := 7dca1a677f548ea0bc911a209f34ceb55d8f10fd
URL(solo5) := https://github.com/$(OWNER)/$(REPO)/archive/$(REV).tar.gz
URL(solo5) := https://genode.org/files/solo5-$(REV).tar.gz
SHA(solo5) := 87a8e8e047bc6fffe0384f1cbb2bfde1e4c88c545287899be29444ec9a4d6b95
DIR(solo5) := src/lib/solo5