blob: 9a8d040c58e8e4be826334ad285dad9fa15fef47 (
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
# Mon Jun 3 11:56:58 UTC 2019
pkgbase = genode-toolchain-bin
pkgdesc = GCC-based toolchain for the genode framework
pkgver = 19.05
pkgrel = 1
url = http://genode.org
arch = i686
arch = x86_64
license = GPL2
makedepends = tar
provides = genode-toolchain
noextract = genode-toolchain-19.05-x86_64.tar.xz
options = !strip
options = staticlibs
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
|