Tim Biermann 6fb404419f coin-or-osi: updated URL		2023-05-28 10:34:57 +02:00
..
.footprint	coin-or-osi: 0.108.7 -> 0.108.8	2023-04-14 14:10:04 +02:00
.signature	coin-or-osi: updated URL	2023-05-28 10:34:57 +02:00
libtool.patch
Pkgfile	coin-or-osi: updated URL	2023-05-28 10:34:57 +02:00
rpath.patch