Index of /lotos/pool/main/m/minizinc-ide/

../
minizinc-ide_2.0.14-1+b1_amd64.deb                                                                                       17-Mar-2017 18:26    239K
minizinc-ide_2.0.14-1+b1_i386.deb                                                                                        17-Mar-2017 17:31    257K
minizinc-ide_2.1.7-1+b1_amd64.deb                                                                                        08-Aug-2019 10:45    250K
minizinc-ide_2.1.7-1+b2_amd64.deb                                                                                        02-Dec-2019 21:29    255K
minizinc-ide_2.1.7-1.debian.tar.xz                                                                                       23-Jan-2018 16:43    8956
minizinc-ide_2.1.7-1.dsc                                                                                                 23-Jan-2018 16:43    1769
minizinc-ide_2.1.7-1_amd64.deb                                                                                           23-Jan-2018 16:43    244K
minizinc-ide_2.1.7-1_i386.deb                                                                                            23-Jan-2018 17:59    260K
minizinc-ide_2.1.7.orig.tar.gz                                                                                           23-Jan-2018 16:43    210K