Index of /201712140518/raspbian/pool/main/m/minizinc/
../
minizinc_2.0.14+dfsg1-1.debian.tar.xz 28-Aug-2016 16:46 9244
minizinc_2.0.14+dfsg1-1.dsc 28-Aug-2016 16:46 1779
minizinc_2.0.14+dfsg1-1_armhf.deb 03-Sep-2016 16:08 983800
minizinc_2.0.14+dfsg1.orig.tar.gz 28-Aug-2016 16:46 448765
minizinc_2.1.5+dfsg1-1.debian.tar.xz 18-Jul-2017 20:00 9680
minizinc_2.1.5+dfsg1-1.dsc 18-Jul-2017 20:00 1804
minizinc_2.1.5+dfsg1-1_armhf.deb 04-Aug-2017 10:08 1481320
minizinc_2.1.5+dfsg1.orig.tar.gz 18-Jul-2017 20:00 664071