Tim Biermann d17bb8f8bd

coin-or-mp: updated URL and source, deleted unused patches

2023-05-28 10:54:00 +02:00

..

.footprint

…

.signature

coin-or-mp: updated URL and source, deleted unused patches

2023-05-28 10:54:00 +02:00

libtool.patch

…

Pkgfile

coin-or-mp: updated URL and source, deleted unused patches

2023-05-28 10:54:00 +02:00