Tim Biermann d17bb8f8bd coin-or-mp: updated URL and source, deleted unused patches		2023-05-28 10:54:00 +02:00
..
.footprint
.signature
libtool.patch
Pkgfile