Index of /raspbian/pool/main/m/minisat+/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat+_1.0.orig.tar.gz 799902012-Apr-19 02:11
minisat+_1.0-5_armhf.deb 1069402024-Oct-12 10:08
minisat+_1.0-5.dsc 19792024-Oct-09 21:34
minisat+_1.0-5.debian.tar.xz 44482024-Oct-09 21:34
minisat+_1.0-4_armhf.deb 1200202017-Jun-22 22:08
minisat+_1.0-4.dsc 19842017-Feb-22 20:22
minisat+_1.0-4.debian.tar.xz 41762017-Feb-22 20:22