Files
| -rwxr-xr-x | 233 | root | root | /usr/bin/jeuclid-cli |
| -rw-r--r-- | 8903 | root | root | /usr/share/java/jeuclid-cli.jar |
distrib
>
Mageia
>
7
>
armv7hl
>
media
>
core-release
>
by-pkgid
>
1004c3e733a1cfdc40dd091aeb848527
>
files
