summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO10
1 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f86af84650f1..9a8d040c58e8 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Wed May 31 15:21:07 UTC 2017
+# Mon Jun 3 11:56:58 UTC 2019
pkgbase = genode-toolchain-bin
pkgdesc = GCC-based toolchain for the genode framework
- pkgver = 17.05
+ pkgver = 19.05
pkgrel = 1
url = http://genode.org
arch = i686
@@ -10,11 +10,11 @@ pkgbase = genode-toolchain-bin
license = GPL2
makedepends = tar
provides = genode-toolchain
- noextract = genode-toolchain-17.05-x86_64.tar.xz
+ noextract = genode-toolchain-19.05-x86_64.tar.xz
options = !strip
options = staticlibs
- source = http://downloads.sourceforge.net/project/genode/genode-toolchain/17.05/genode-toolchain-17.05-x86_64.tar.xz
- md5sums = 6a9fe849a507d3db0caa68d2ce350d8b
+ source = http://downloads.sourceforge.net/project/genode/genode-toolchain/19.05/genode-toolchain-19.05-x86_64.tar.xz
+ md5sums = 90f83ee84930377aa554e9db488a290d
pkgname = genode-toolchain-bin