Files
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/jeuclid-core |
| -rw-r--r-- | 11358 | root | root | /usr/share/doc/jeuclid-core/LICENSE.txt |
| -rw-r--r-- | 2327 | root | root | /usr/share/doc/jeuclid-core/NOTICE |
| -rw-r--r-- | 2700 | root | root | /usr/share/doc/jeuclid-core/README.Release |
| -rw-r--r-- | 639661 | root | root | /usr/share/java/jeuclid-core-3.1.4.jar |
| lrwxrwxrwx | 22 | root | root | /usr/share/java/jeuclid-core.jar |
