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

…