ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
98798f18b5
genode/repos/base-hw/patches
History
Stefan Kalkowski bbb017dc24 muen: update to Community 2019 toolchain version 
Fix #3903
2020-10-09 13:35:55 +02:00
..
muen_ada-bfd.patch muen: update to Community 2019 toolchain version 2020-10-09 13:35:55 +02:00
muen_python2.patch muen: fix building on modern devel distros 2020-09-17 10:14:07 +02:00