Index of /debian-ports/pool-ia64/main/m/minisat2/


../
minisat-dbgsym_2.2.1-5_ia64.deb                    09-Apr-2018 18:03              176420
minisat2_2.2.1-5_ia64.buildinfo                    09-Apr-2018 18:03                4687
minisat2_2.2.1-5_ia64.deb                          09-Apr-2018 18:03                5064
minisat_2.2.1-5_ia64.deb                           09-Apr-2018 18:03              100432