Commit - rpms/mp - 9965039524b185913e0de010ec9dd5694e768956

raw patch tree parent

3 files changed. 9 lines added. 550 lines removed.

    Update git snapshot for gecode 6.x support.
    Drop upstreamed -gecode5 patch.

Build completed
success

Built as mp-3.1.0-27.20200303git7fd4828.fc33
3 years ago
Build completed
success

Built as mp-3.1.0-27.20200303git7fd4828.eln101
3 years ago
Build completed
success

Built as mp-3.1.0-27.20200303git7fd4828.eln103
3 years ago

mp-gecode5.patch

file removed

-539

mp.spec

file modified

+8 -10

sources

file modified

+1 -1