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

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]minisat+_1.0-4.debian.tar.xz22-Feb-2017 20:22 4.1K  Details
[TXT]minisat+_1.0-4.dsc22-Feb-2017 20:22 1.9K  Details
[   ]minisat+_1.0-4_armhf.deb22-Jun-2017 22:08 117K  Details
[   ]minisat+_1.0-5.debian.tar.xz09-Oct-2024 21:34 4.3K  Details
[TXT]minisat+_1.0-5.dsc09-Oct-2024 21:34 1.9K  Details
[   ]minisat+_1.0-5_armhf.deb12-Oct-2024 10:08 104K  Details
[   ]minisat+_1.0.orig.tar.gz19-Apr-2012 02:11 78K  Details

Apache/2.4.62 (Debian) Server at mirrordirectortest.raspbian.org Port 80

MirrorBrain powered by Apache