Files
| -rwxr-xr-x | 233 | root | root | /usr/bin/jeuclid-cli |
| -rw-r--r-- | 8322 | root | root | /usr/share/java/jeuclid-cli-3.1.3.jar |
| lrwxrwxrwx | 21 | root | root | /usr/share/java/jeuclid-cli.jar |
| -rwxr-xr-x | 233 | root | root | /usr/bin/jeuclid-cli |
| -rw-r--r-- | 8322 | root | root | /usr/share/java/jeuclid-cli-3.1.3.jar |
| lrwxrwxrwx | 21 | root | root | /usr/share/java/jeuclid-cli.jar |
::
::
::
