Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
13
>
x86_64
>
by-pkgid
>
70330e4649393bfe7ba61536629d2be8
>
files
>
6
minisat2-2.0-9.20070721.fc12.x86_64.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
SAT 1 2 -3 4 5 0