diff options
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1,5 +1,3 @@ -# Generated by mksrcinfo v8 -# Tue Jun 28 11:22:53 UTC 2016 pkgbase = genode-toolchain-bin pkgdesc = GCC-based toolchain for the genode framework pkgver = 16.05 @@ -13,7 +11,7 @@ pkgbase = genode-toolchain-bin noextract = genode-toolchain-16.05-x86_64.tar.bz2 options = !strip options = staticlibs - source = http://dfn.dl.sourceforge.net/project/genode/genode-toolchain/16.05/genode-toolchain-16.05-x86_64.tar.bz2 + source = http://downloads.sourceforge.net/project/genode/genode-toolchain/16.05/genode-toolchain-16.05-x86_64.tar.bz2 md5sums = f02280f676cd0ac602e2413f4ae31d46 pkgname = genode-toolchain-bin |