Files
| -rw-r--r-- | 342038 | root | root | /usr/share/java/org.sat4j.core.jar |
| -rw-r--r-- | 226190 | root | root | /usr/share/java/org.sat4j.pb.jar |
distrib
>
Mageia
>
7
>
armv7hl
>
media
>
core-release
>
by-pkgid
>
8e4a443505744015e2df5c23fc9c59a8
>
files
