Index of /debian-ports/pool-sh4/main/m/minizinc/
Name
Size
Date
📁 ../
-
-
📄 minizinc-dbgsym_2.1.7+dfsg1-1_sh4.deb
33481756 bytes
2018-01-24 00:03:22
📄 minizinc_2.1.7+dfsg1-1_sh4.buildinfo
7485 bytes
2018-01-24 00:03:22
📄 minizinc_2.1.7+dfsg1-1_sh4.deb
1461696 bytes
2018-01-24 00:03:22