/debian/pool/main/m/minisat+/</h1>
<table id="list"><thead><tr><th style="width:55%"><a href="?C=N&amp;O=A">File Name</a>&nbsp;<a href="?C=N&amp;O=D">&nbsp;&darr;&nbsp;</a></th><th style="width:20%"><a href="?C=S&amp;O=A">File Size</a>&nbsp;<a href="?C=S&amp;O=D">&nbsp;&darr;&nbsp;</a></th><th style="width:25%"><a href="?C=M&amp;O=A">Date</a>&nbsp;<a href="?C=M&amp;O=D">&nbsp;&darr;&nbsp;</a></th></tr></thead>
<tbody><tr><td class="link"><a href="../">Parent directory/</a></td><td class="size">-</td><td class="date">-</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4%2Bb1_riscv64.deb" title="minisat+_1.0-4+b1_riscv64.deb">minisat+_1.0-4+b1_riscv64.deb</a></td><td class="size">             146688</td><td class="date">2024-Feb-11 13:30</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4.debian.tar.xz" title="minisat+_1.0-4.debian.tar.xz">minisat+_1.0-4.debian.tar.xz</a></td><td class="size">               4176</td><td class="date">2017-Feb-22 20:22</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4.dsc" title="minisat+_1.0-4.dsc">minisat+_1.0-4.dsc</a></td><td class="size">               1984</td><td class="date">2017-Feb-22 20:22</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_amd64.deb" title="minisat+_1.0-4_amd64.deb">minisat+_1.0-4_amd64.deb</a></td><td class="size">             158368</td><td class="date">2017-Feb-22 21:12</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_arm64.deb" title="minisat+_1.0-4_arm64.deb">minisat+_1.0-4_arm64.deb</a></td><td class="size">             133914</td><td class="date">2017-Feb-22 21:12</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_armel.deb" title="minisat+_1.0-4_armel.deb">minisat+_1.0-4_armel.deb</a></td><td class="size">             129920</td><td class="date">2017-Feb-22 21:12</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_armhf.deb" title="minisat+_1.0-4_armhf.deb">minisat+_1.0-4_armhf.deb</a></td><td class="size">             133736</td><td class="date">2017-Feb-22 21:12</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_i386.deb" title="minisat+_1.0-4_i386.deb">minisat+_1.0-4_i386.deb</a></td><td class="size">             160076</td><td class="date">2017-Feb-22 21:12</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_mips64el.deb" title="minisat+_1.0-4_mips64el.deb">minisat+_1.0-4_mips64el.deb</a></td><td class="size">             147888</td><td class="date">2017-Feb-22 21:28</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_mipsel.deb" title="minisat+_1.0-4_mipsel.deb">minisat+_1.0-4_mipsel.deb</a></td><td class="size">             144724</td><td class="date">2017-Feb-22 21:43</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_ppc64el.deb" title="minisat+_1.0-4_ppc64el.deb">minisat+_1.0-4_ppc64el.deb</a></td><td class="size">             148488</td><td class="date">2017-Feb-22 21:12</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0-4_s390x.deb" title="minisat+_1.0-4_s390x.deb">minisat+_1.0-4_s390x.deb</a></td><td class="size">             146702</td><td class="date">2017-Feb-22 21:12</td></tr>
<tr><td class="link"><a href="minisat%2B_1.0.orig.tar.gz" title="minisat+_1.0.orig.tar.gz">minisat+_1.0.orig.tar.gz</a></td><td class="size">              79990</td><td class="date">2011-May-14 12:02</td></tr>
</tbody></table><br />Open Source Mirror funded by <a href="https://acorn-ns.ca">ACORN-NS</a>, hosting provided by <a href="https://dal.ca">Dalhousie University</a> - ITS Research Computing Team