Tim Biermann d17bb8f8bd coin-or-mp: updated URL and source, deleted unused patches		2023-05-28 10:54:00 +02:00
..
.footprint	coin-or-mp: initial commit, version 1.8.4	2019-08-11 11:13:54 +02:00
.signature	coin-or-mp: updated URL and source, deleted unused patches	2023-05-28 10:54:00 +02:00
libtool.patch	coin-or-mp: pulled patches from libreoffice	2023-01-28 14:41:04 +01:00
Pkgfile	coin-or-mp: updated URL and source, deleted unused patches	2023-05-28 10:54:00 +02:00