alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix grafx2 port (hash was not correct)

Browse Source 
Fixes #122
This commit is contained in:
Wouter van Oijen
2018-11-22 15:36:46 +00:00
committed by Norman Feske
parent 67d300238c
commit 6cf7ec6c35
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ports/grafx2.hash
View File

@@ -1 +1 @@
727c6ac74858e61c5f14eeb12fe456a0530673c7
a7091ba23910f1d1172b472bd79ad1ae393f6b52

2
ports/grafx2.port
View File

@@ -9,7 +9,7 @@ DOWNLOADS := grafx2.archive
#
URL(grafx2) := http://usr.sysret.de/jws/grafx2-$(VERSION)-src.tgz
SHA(grafx2) := 7b6aa4e47aa67664947c0a20f32323107cc35440
SHA(grafx2) := 5818caea63cd3cf3318baf01dd20f81ec61e4514443000c80a41b68ab3f17a6b
DIR(grafx2) := src/app/grafx2
PATCHES := src/app/grafx2/genode.patch