Index of /mirrors/deepin/packages/pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                                                                                            11-Apr-2022 03:29    5258
minisat2_2.2.1-5+b3_i386.deb                                                                                             11-Apr-2022 03:16    5258
minisat2_2.2.1-5.debian.tar.xz                                                                                           11-Apr-2022 03:22    9348
minisat2_2.2.1-5.dsc                                                                                                     11-Apr-2022 03:22    1893
minisat2_2.2.1.orig.tar.gz                                                                                               11-Apr-2022 03:22     43K
minisat_2.2.1-5+b3_amd64.deb                                                                                             11-Apr-2022 03:37     83K
minisat_2.2.1-5+b3_i386.deb                                                                                              11-Apr-2022 03:10     91K