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 23:08 117K  Details
[   ]minisat+_1.0-5.debian.tar.xz09-Oct-2024 22:34 4.3K  Details
[TXT]minisat+_1.0-5.dsc09-Oct-2024 22:34 1.9K  Details
[   ]minisat+_1.0-5_armhf.deb12-Oct-2024 11:08 104K  Details
[   ]minisat+_1.0.orig.tar.gz19-Apr-2012 03:11 78K  Details

Apache/2.4.62 (Debian) Server at mirrordirector-mb.raspbian.org Port 80

MirrorBrain powered by Apache