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