Index of /by-release/atomic/debian/m/minizinc-ide
Name
Last modified
Size
Description
Parent Directory
-
minizinc-ide_2.0.8-1.patch-basis
2015-10-25 22:06
8
minizinc-ide_2.0.8-1.patch.bz2
2015-10-25 22:06
11K
minizinc-ide_2.0.10-1.patch-basis
2016-01-03 05:08
8
minizinc-ide_2.0.10-1.patch.bz2
2016-01-03 05:08
1.6K
minizinc-ide_2.0.13-1.patch-basis
2016-04-08 04:13
9
minizinc-ide_2.0.13-1.patch.bz2
2016-04-08 04:13
4.0K
minizinc-ide_2.0.14-1.patch-basis
2016-08-29 22:39
9
minizinc-ide_2.0.14-1.patch.bz2
2016-08-29 22:39
11K
minizinc-ide_2.1.7-1.patch-basis
2018-01-23 22:39
9
minizinc-ide_2.1.7-1.patch.bz2
2018-01-23 22:39
21K
minizinc-ide_2.4.1-1.patch-basis
2020-01-01 16:17
8
minizinc-ide_2.4.1-1.patch.bz2
2020-01-01 16:17
96K
minizinc-ide_2.4.2-1.patch-basis
2020-01-10 21:37
8
minizinc-ide_2.4.2-1.patch.bz2
2020-01-10 21:37
3.6K
minizinc-ide_2.4.2-2.patch-basis
2020-01-19 15:36
8
minizinc-ide_2.4.2-2.patch.bz2
2020-01-19 15:36
746
minizinc-ide_2.4.3-1.patch-basis
2020-04-02 21:11
8
minizinc-ide_2.4.3-1.patch.bz2
2020-04-02 21:11
5.2K
minizinc-ide_2.5.1-1.patch-basis
2020-10-22 20:38
8
minizinc-ide_2.5.1-1.patch.bz2
2020-10-22 20:38
158K
minizinc-ide_2.5.2-1.patch-basis
2020-11-15 21:20
8
minizinc-ide_2.5.2-1.patch.bz2
2020-11-15 21:20
14K
minizinc-ide_2.5.3-1.patch-basis
2020-12-10 03:18
8
minizinc-ide_2.5.3-1.patch.bz2
2020-12-10 03:18
3.4K
minizinc-ide_2.6.3-1.patch-basis
2022-05-29 21:36
8
minizinc-ide_2.6.3-1.patch.bz2
2022-05-29 21:36
92K
minizinc-ide_2.8.2-1.patch-basis
2024-01-01 21:37
8
minizinc-ide_2.8.2-1.patch.bz2
2024-01-01 21:37
34K
minizinc-ide_2.8.5-1.patch
2024-09-12 10:30
111K
minizinc-ide_2.8.5-1.patch-basis
2024-09-12 10:30
8
patches.xml
2024-09-12 15:42
3.0K
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443