science/MiniZincIDE
SHA256
10
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9 Commits 1 Branch 0 Tags
main
Commit Graph

9 Commits

This Branch
This Branch
All Branches
Author SHA256 Message Date
Stefan Brüns
0396ec929d OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=9 2025-01-18 07:07:05 +00:00
Stefan Brüns
7bdcae15ce OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=8 2025-01-18 06:05:24 +00:00
Stefan Brüns
3d0745f5b9 OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=7 2025-01-18 06:01:28 +00:00
Stefan Brüns
4a39711bde OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=6 2025-01-18 06:01:23 +00:00
Stefan Brüns
d3a20e4298 OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=5 2025-01-18 06:01:10 +00:00
Stefan Brüns
c64e233834 Accepting request 1135909 from home:StefanBruens:branches:science 
- Update to version 2.8.2:
  https://www.minizinc.org/doc-2.8.2/en/changelog.html

OBS-URL: https://build.opensuse.org/request/show/1135909
OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=4
 2024-01-01 20:11:49 +00:00
Stefan Brüns
0e09ec06a7 Accepting request 989639 from home:StefanBruens:branches:science 
- 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

OBS-URL: https://build.opensuse.org/request/show/989639
OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=3
 2022-07-17 13:42:33 +00:00
Stefan Brüns
3b57ed8f98 Accepting request 974234 from home:StefanBruens:branches:science 
- 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

OBS-URL: https://build.opensuse.org/request/show/974234
OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=2
 2022-05-05 18:20:59 +00:00
Atri Bhattacharya
fceb3a3d77 Accepting request 973796 from home:StefanBruens:branches:science 
New package

OBS-URL: https://build.opensuse.org/request/show/973796
OBS-URL: https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=1
 2022-04-30 14:10:12 +00:00