35 lines
1.3 KiB
Plaintext
35 lines
1.3 KiB
Plaintext
-------------------------------------------------------------------
|
|
Sat Jan 18 07:05:43 UTC 2025 - Stefan Brüns <stefan.bruens@rwth-aachen.de>
|
|
|
|
- Update to version 2.8.7:
|
|
https://docs.minizinc.dev/en/2.8.7/changelog.html
|
|
|
|
-------------------------------------------------------------------
|
|
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)
|