rw-r--r-- 174/0 374 Jul 6 20:16 1993 elf/load-elf-tools.sml rw-r--r-- 174/0 1379 Jul 5 09:28 1993 elf/tools/README rw-r--r-- 4841/0 1629 Feb 16 16:51 1993 elf/tools/scutils.sig rw-r--r-- 4841/0 282 Feb 17 13:57 1993 elf/tools/rename.sig rw-r--r-- 4841/0 1650 Feb 16 16:50 1993 elf/tools/lists.sig rw-r--r-- 4841/0 24210 Feb 17 15:02 1993 elf/tools/scutils.fun rw-r--r-- 4841/0 3435 Feb 17 13:58 1993 elf/tools/rename.fun rw-r--r-- 4841/0 4706 Feb 16 16:50 1993 elf/tools/lists.fun rw-r--r-- 4841/0 967 Feb 16 16:50 1993 elf/tools/imperative.sig rw-r--r-- 4841/0 2360 Feb 16 16:50 1993 elf/tools/imperative.fun rw-r--r-- 4841/0 501 Feb 16 16:49 1993 elf/tools/graph.sig rw-r--r-- 4841/0 6879 Feb 16 16:49 1993 elf/tools/graph.fun rw-r--r-- 174/0 189 Jul 6 21:32 1993 elf/tools/elftools.sig rw-r--r-- 4841/0 1216 Mar 31 15:40 1993 elf/tools/deps.sig rw-r--r-- 174/0 2311 Jul 6 21:33 1993 elf/tools/elftools.fun rw-r--r-- 174/0 12261 Jul 5 09:27 1993 elf/tools/deps.fun rw-r--r-- 174/0 2873 Jul 6 21:32 1993 elf/tools/link-elf-tools.sml