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

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