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

 Name                                Last modified      Size  
 Parent Directory                                         -   
 minizinc-ide_2.10.0-1+b1_armhf.deb  2026-09-25 15:08  782K  
 minizinc-ide_2.10.0-1.debian.tar.xz 2026-08-23 01:59  9.2K  
 minizinc-ide_2.10.0-1.dsc           2026-08-23 01:59  1.9K  
 minizinc-ide_2.10.0.orig.tar.gz     2026-08-23 01:59  816K  
 minizinc-ide_2.5.3-1.debian.tar.xz  2020-12-09 11:17   13K  
 minizinc-ide_2.5.3-1.dsc            2020-12-09 11:17  1.7K  
 minizinc-ide_2.5.3.orig.tar.gz      2020-12-09 11:17  780K  
 minizinc-ide_2.6.3-1.debian.tar.xz  2022-05-29 09:20   13K  
 minizinc-ide_2.6.3-1.dsc            2022-05-29 09:20  1.7K  
 minizinc-ide_2.6.3.orig.tar.gz      2022-05-29 09:20  808K  
 minizinc-ide_2.8.5-1.debian.tar.xz  2024-08-26 21:28  8.9K  
 minizinc-ide_2.8.5-1.dsc            2024-08-26 21:28  1.8K  
 minizinc-ide_2.8.5.orig.tar.gz      2024-08-26 21:28  816K