blob: cf13821b364c4b891e0c88f0f9895fd4d6592e46 (
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
# Tue Jun 28 11:22:53 UTC 2016
pkgbase = genode-toolchain-bin
pkgdesc = GCC-based toolchain for the genode framework
pkgver = 16.05
pkgrel = 1
url = http://genode.org
arch = i686
arch = x86_64
license = GPL2
makedepends = tar
provides = genode-toolchain
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
md5sums = f02280f676cd0ac602e2413f4ae31d46
pkgname = genode-toolchain-bin
|