Package: hol88 Version: 2.02.19940316-1 Severity: normal
[EMAIL PROTECTED]:~# file /usr/share/hol88-2.02.19940316/* /usr/share/hol88-2.02.19940316/Library: directory /usr/share/hol88-2.02.19940316/basic-hol: broken symbolic link to `../../../lib/hol88-2.02.19940316/basic-hol' /usr/share/hol88-2.02.19940316/contrib: directory /usr/share/hol88-2.02.19940316/help: directory /usr/share/hol88-2.02.19940316/hol: broken symbolic link to `../../../lib/hol88-2.02.19940316/hol' /usr/share/hol88-2.02.19940316/hol-lcf: broken symbolic link to `../../../lib/hol88-2.02.19940316/hol-lcf' /usr/share/hol88-2.02.19940316/lisp: directory /usr/share/hol88-2.02.19940316/ml: directory [EMAIL PROTECTED]:~# ls -l /usr/lib/hol88-2.02.19940316/ total 259932 drwxr-xr-x 16 root root 4096 Sep 14 13:33 Library -rwxr-xr-x 1 root root 89594467 Oct 23 2006 basic-hol -rwxr-xr-x 1 root root 91437707 Oct 23 2006 hol -rwxr-xr-x 1 root root 84851259 Oct 23 2006 hol-lcf Obviously, there should be one fewer ".." in the symlink targets. -- System Information: Debian Release: 4.0 APT prefers stable APT policy: (500, 'stable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/dash Kernel: Linux 2.6.21-6unicorn200709091248 Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

