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