Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:redwil:15.4
MiniZincIDE
MiniZincIDE.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File MiniZincIDE.changes of Package MiniZincIDE
------------------------------------------------------------------- Sun Dec 31 21:57:18 UTC 2023 - Stefan Brüns <stefan.bruens@rwth-aachen.de> - Update to version 2.8.2: https://www.minizinc.org/doc-2.8.2/en/changelog.html ------------------------------------------------------------------- Sat Jul 16 22:28:59 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de> - 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 ------------------------------------------------------------------- Sat Apr 30 15:00:03 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de> - 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 ------------------------------------------------------------------- Fri Apr 29 00:38:13 UTC 2022 - Stefan Brüns <stefan.bruens@rwth-aachen.de> - Initial package version (2.6.2)
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor