blob: f86af84650f1a093feb7a539facb4552885dd9fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Generated by mksrcinfo v8
# Wed May 31 15:21:07 UTC 2017
pkgbase = genode-toolchain-bin
pkgdesc = GCC-based toolchain for the genode framework
pkgver = 17.05
pkgrel = 1
url = http://genode.org
arch = i686
arch = x86_64
license = GPL2
makedepends = tar
provides = genode-toolchain
noextract = genode-toolchain-17.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
pkgname = genode-toolchain-bin
|