Package Details: genode-toolchain-bin 23.05-1

Git Clone URL: (read-only, click to copy)
Package Base: genode-toolchain-bin
Description: GCC-based toolchain for the genode framework
Upstream URL:
Licenses: GPL3
Provides: genode-toolchain
Submitter: vali
Maintainer: vali
Last Packager: vali
Votes: 4
Popularity: 0.000000
First Submitted: 2014-01-07 16:29 (UTC)
Last Updated: 2023-09-08 10:24 (UTC)

Dependencies (18)

Required by (0)

Sources (1)

Latest Comments

epitron commented on 2016-11-28 15:22 (UTC)

The sourceforge URL is currently broken. A better URL to use is this: source=("${pkgver}/${_filename}") will pick the mirror automatically.

vali commented on 2016-03-12 16:33 (UTC)

Due to the occasional out-of-date flags I receive for this package: Please note that this package only contains the toolchain and not the actual Genode OS Framework. The latter actually pursues a quarterly release cycle whereas the toolchain is only released on a irregular basis.

medvid commented on 2014-01-27 21:13 (UTC)

Please use ${srcdir} instead of ../.. in package()