Revisions of MiniZincIDE
Stefan Brüns (StefanBruens)
accepted
request 1135909
from
Stefan Brüns (StefanBruens)
(revision 4)
- Update to version 2.8.2: https://www.minizinc.org/doc-2.8.2/en/changelog.html
Stefan Brüns (StefanBruens)
accepted
request 989639
from
Stefan Brüns (StefanBruens)
(revision 3)
- Update to version 2.6.4: https://www.minizinc.org/doc-2.6.4/en/changelog.html - Drop upstream patches: * fix-cp-profiler-messages.patch * 0001-Fix-signature-for-signal-slots-using-MessageWrapper.patch * 0001-Use-a-recursive-mutex-to-avoid-deadlocks.patch
Stefan Brüns (StefanBruens)
accepted
request 974234
from
Stefan Brüns (StefanBruens)
(revision 2)
- Fix hanginging profiler, add * fix-cp-profiler-messages.patch * 0001-Fix-signature-for-signal-slots-using-MessageWrapper.patch * 0001-Use-a-recursive-mutex-to-avoid-deadlocks.patch
Atri Bhattacharya (badshah400)
accepted
request 973796
from
Stefan Brüns (StefanBruens)
(revision 1)
New package
Displaying all 4 revisions