1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
minizinc-ide (2.8.5-1) unstable; urgency=medium
* New upstream release.
* Standards-Version 4.7.0 (no changes necessary)
* Remove debian/patches/missing-cpp-integration since upstream's tarball
includes it now.
-- Kari Pahula <kaol@debian.org> Tue, 27 Aug 2024 07:09:08 +0300
minizinc-ide (2.8.2-1) unstable; urgency=medium
* New upstream release.
* Standards-Version 4.6.2 (no changes necessary)
-- Kari Pahula <kaol@debian.org> Mon, 01 Jan 2024 14:41:18 +0200
minizinc-ide (2.6.3-1) unstable; urgency=medium
* New upstream release.
* Standards-Version 4.6.1 (no changes necessary)
-- Kari Pahula <kaol@debian.org> Sun, 29 May 2022 18:48:06 +0300
minizinc-ide (2.5.3-1) unstable; urgency=medium
* New upstream release.
-- Kari Pahula <kaol@debian.org> Wed, 09 Dec 2020 20:04:30 +0200
minizinc-ide (2.5.2-1) unstable; urgency=medium
* New upstream release.
-- Kari Pahula <kaol@debian.org> Sun, 15 Nov 2020 16:27:37 +0200
minizinc-ide (2.5.1-1) unstable; urgency=medium
* New upstream release.
* Copy CP profiler integration files from
https://gitlab.com/minizinc/cp-profiler-integration as a patch.
-- Kari Pahula <kaol@debian.org> Thu, 22 Oct 2020 19:32:32 +0300
minizinc-ide (2.4.3-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <kaol@debian.org> Thu, 02 Apr 2020 20:18:50 +0300
minizinc-ide (2.4.2-2) unstable; urgency=medium
* Fix FTCBFS: Let dh_auto_configure use a cross qmake. (Closes: #949269)
-- Kari Pahula <kaol@debian.org> Sun, 19 Jan 2020 11:16:37 +0200
minizinc-ide (2.4.2-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <kaol@debian.org> Fri, 10 Jan 2020 14:38:32 +0200
minizinc-ide (2.4.1-1) experimental; urgency=medium
* New upstream release
* Standards-Version 4.4.1
- Switch from cdbs to dh
* Drop patch force-webkitwidgets and switch build dep to
qtwebengine5-dev
-- Kari Pahula <kaol@debian.org> Wed, 01 Jan 2020 12:43:31 +0200
minizinc-ide (2.1.7-1) unstable; urgency=medium
* New upstream release
* Standards-Version 4.1.3
- Set Priority: optional.
-- Kari Pahula <kaol@debian.org> Tue, 23 Jan 2018 18:20:59 +0200
minizinc-ide (2.0.14-1) unstable; urgency=medium
* New upstream release
* Standards-Version 3.9.8 (no changes necessary).
* Add patch force-webkitwidgets: Make MiniZincIDE/MiniZincIDE.pro to
always use webkitwidgets instead of the missing webenginewidgets.
* Add patch no-install-bin: Remove install target from
MiniZincIDE/MiniZincIDE.pro to avoid install to /bin.
-- Kari Pahula <kaol@debian.org> Mon, 29 Aug 2016 20:00:37 +0300
minizinc-ide (2.0.13-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <kaol@debian.org> Thu, 07 Apr 2016 21:19:20 +0300
minizinc-ide (2.0.10-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <kaol@debian.org> Sat, 02 Jan 2016 21:46:19 +0200
minizinc-ide (2.0.8-1) unstable; urgency=medium
* New upstream release
* Remove menu file and leave only desktop file.
* Change desktop icon size to 128x128.
-- Kari Pahula <kaol@debian.org> Sun, 25 Oct 2015 16:33:29 +0200
minizinc-ide (0.9.9-1) experimental; urgency=low
* Initial release (Closes: #793733)
-- Kari Pahula <kaol@debian.org> Mon, 03 Aug 2015 10:08:58 +0300
|
