Index of /Deepin/deepin/pool/main/m/minizinc-ide

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 minizinc-ide-dbgsym_2.1.7-1+rb2_i386.deb           2022-04-11 11:16  4.9M  
 minizinc-ide-dbgsym_2.1.7-1+rb2_amd64.deb          2022-04-11 11:15  4.9M  
 minizinc-ide_2.1.7-1+rb2_amd64.deb                 2022-04-11 11:09  248K  
 minizinc-ide_2.1.7.orig.tar.gz                     2022-04-11 11:06  210K  
 minizinc-ide_2.1.7-1+rb2.dsc                       2022-04-11 11:06  902   
 minizinc-ide_2.1.7-1+rb2.debian.tar.xz             2022-04-11 11:06  8.8K  
 minizinc-ide_2.1.7-1+rb2_i386.deb                  2022-04-11 11:02  267K