Index of /raspbian/pool/main/m/minisat2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat2_2.2.1-8.dsc 17292024-Feb-26 17:03
minisat2_2.2.1-5.dsc 18932014-Jul-30 10:01
minisat2_2.2.1-5_armhf.deb 50382014-Aug-13 05:11
minisat2_2.2.1-5.debian.tar.xz 93482014-Jul-30 10:01
minisat2_2.2.1-8.debian.tar.xz 98642024-Feb-26 17:03
minisat2_2.2.1.orig.tar.gz 442292012-Apr-19 02:11
minisat_2.2.1-8_armhf.deb 773002024-May-17 19:48
minisat_2.2.1-5_armhf.deb 777222014-Aug-13 05:11