Index of ftp://ftp.kr.debian.org/debian-ports/pool-hppa/main/m/minisat2
Parent Directory
minisat2_2.2.1-5+b1_hppa.deb
5.15Kb
September 25 2015
[
find mirrors
]
minisat_2.2.1-5+b1_hppa.deb
102.55Kb
September 25 2015
[
find mirrors
]
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
minisat2_2.2.1-5+b1_hppa.deb minisat_2.2.1-5+b1_hppa.deb