Files
| -rw-r--r-- | 342046 | root | root | /usr/share/java/org.sat4j.core.jar |
| -rw-r--r-- | 226175 | root | root | /usr/share/java/org.sat4j.pb.jar |
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
25d610430cb5c9859745a231ba8611b2
>
files
