Files
-rwxr-xr-x | 108688 | root | root | /usr/bin/camlrunm |
-rwxr-xr-x | 873 | root | root | /usr/bin/mosml |
-rwxr-xr-x | 2487 | root | root | /usr/bin/mosmlc |
-rwxr-xr-x | 277 | root | root | /usr/bin/mosmllex |
-rwxr-xr-x | 61344 | root | root | /usr/bin/mosmlyac |
drwxr-xr-x | 1008 | root | root | /usr/include/mosml |
-rw-r--r-- | 494 | root | root | /usr/include/mosml/alloc.h |
-rw-r--r-- | 842 | root | root | /usr/include/mosml/callback.h |
-rw-r--r-- | 4070 | root | root | /usr/include/mosml/config.h |
-rw-r--r-- | 1090 | root | root | /usr/include/mosml/debugger.h |
-rw-r--r-- | 807 | root | root | /usr/include/mosml/exec.h |
-rw-r--r-- | 135 | root | root | /usr/include/mosml/expand.h |
-rw-r--r-- | 641 | root | root | /usr/include/mosml/fail.h |
-rw-r--r-- | 257 | root | root | /usr/include/mosml/freelist.h |
-rw-r--r-- | 1199 | root | root | /usr/include/mosml/gc.h |
-rw-r--r-- | 282 | root | root | /usr/include/mosml/gc_ctrl.h |
-rw-r--r-- | 2588 | root | root | /usr/include/mosml/globals.h |
-rw-r--r-- | 2796 | root | root | /usr/include/mosml/instruct.h |
-rw-r--r-- | 291 | root | root | /usr/include/mosml/interp.h |
-rw-r--r-- | 2422 | root | root | /usr/include/mosml/intext.h |
-rw-r--r-- | 1938 | root | root | /usr/include/mosml/io.h |
-rw-r--r-- | 4567 | root | root | /usr/include/mosml/jumptbl.h |
-rw-r--r-- | 59 | root | root | /usr/include/mosml/m.h |
-rw-r--r-- | 1116 | root | root | /usr/include/mosml/major_gc.h |
-rw-r--r-- | 78 | root | root | /usr/include/mosml/md5sum.h |
-rw-r--r-- | 2832 | root | root | /usr/include/mosml/memory.h |
-rw-r--r-- | 429 | root | root | /usr/include/mosml/minor_gc.h |
-rw-r--r-- | 923 | root | root | /usr/include/mosml/misc.h |
-rw-r--r-- | 8243 | root | root | /usr/include/mosml/mlvalues.h |
-rw-r--r-- | 107 | root | root | /usr/include/mosml/mosml.h |
-rw-r--r-- | 184 | root | root | /usr/include/mosml/prims.h |
-rw-r--r-- | 2907 | root | root | /usr/include/mosml/reverse.h |
-rw-r--r-- | 128 | root | root | /usr/include/mosml/roots.h |
-rw-r--r-- | 474 | root | root | /usr/include/mosml/runtime.h |
-rw-r--r-- | 486 | root | root | /usr/include/mosml/s.h |
-rw-r--r-- | 539 | root | root | /usr/include/mosml/signals.h |
-rw-r--r-- | 475 | root | root | /usr/include/mosml/stacks.h |
-rw-r--r-- | 154 | root | root | /usr/include/mosml/str.h |
-rw-r--r-- | 175 | root | root | /usr/include/mosml/sys.h |
-rw-r--r-- | 919 | root | root | /usr/include/mosml/unalignd.h |
-rw-r--r-- | 37 | root | root | /usr/include/mosml/version.h |
drwxr-xr-x | 6864 | root | root | /usr/lib64/mosml |
-rw-r--r-- | 1490 | root | root | /usr/lib64/mosml/AppleScript.sig |
-rw-r--r-- | 6707 | root | root | /usr/lib64/mosml/Array.sig |
-rw-r--r-- | 22070 | root | root | /usr/lib64/mosml/Array.ui |
-rw-r--r-- | 12234 | root | root | /usr/lib64/mosml/Array.uo |
-rw-r--r-- | 8106 | root | root | /usr/lib64/mosml/Array2.sig |
-rw-r--r-- | 22750 | root | root | /usr/lib64/mosml/Array2.ui |
-rw-r--r-- | 16868 | root | root | /usr/lib64/mosml/Array2.uo |
-rw-r--r-- | 396 | root | root | /usr/lib64/mosml/Arraysort.sig |
-rw-r--r-- | 5222 | root | root | /usr/lib64/mosml/Arraysort.ui |
-rw-r--r-- | 3946 | root | root | /usr/lib64/mosml/Arraysort.uo |
-rw-r--r-- | 934 | root | root | /usr/lib64/mosml/BasicIO.sig |
-rw-r--r-- | 12926 | root | root | /usr/lib64/mosml/BasicIO.ui |
-rw-r--r-- | 25528 | root | root | /usr/lib64/mosml/BasicIO.uo |
-rw-r--r-- | 5365 | root | root | /usr/lib64/mosml/BinIO.sig |
-rw-r--r-- | 13622 | root | root | /usr/lib64/mosml/BinIO.ui |
-rw-r--r-- | 13803 | root | root | /usr/lib64/mosml/BinIO.uo |
-rw-r--r-- | 2648 | root | root | /usr/lib64/mosml/Binarymap.sig |
-rw-r--r-- | 19230 | root | root | /usr/lib64/mosml/Binarymap.ui |
-rw-r--r-- | 14743 | root | root | /usr/lib64/mosml/Binarymap.uo |
-rw-r--r-- | 3313 | root | root | /usr/lib64/mosml/Binaryset.sig |
-rw-r--r-- | 22894 | root | root | /usr/lib64/mosml/Binaryset.ui |
-rw-r--r-- | 31863 | root | root | /usr/lib64/mosml/Binaryset.uo |
-rw-r--r-- | 962 | root | root | /usr/lib64/mosml/Bool.sig |
-rw-r--r-- | 7926 | root | root | /usr/lib64/mosml/Bool.ui |
-rw-r--r-- | 3827 | root | root | /usr/lib64/mosml/Bool.uo |
-rw-r--r-- | 2133 | root | root | /usr/lib64/mosml/Byte.sig |
-rw-r--r-- | 10190 | root | root | /usr/lib64/mosml/Byte.ui |
-rw-r--r-- | 3553 | root | root | /usr/lib64/mosml/Byte.uo |
-rw-r--r-- | 5815 | root | root | /usr/lib64/mosml/Callback.sig |
-rw-r--r-- | 10294 | root | root | /usr/lib64/mosml/Callback.ui |
-rw-r--r-- | 11603 | root | root | /usr/lib64/mosml/Callback.uo |
-rw-r--r-- | 7571 | root | root | /usr/lib64/mosml/Char.sig |
-rw-r--r-- | 19214 | root | root | /usr/lib64/mosml/Char.ui |
-rw-r--r-- | 13795 | root | root | /usr/lib64/mosml/Char.uo |
-rw-r--r-- | 1415 | root | root | /usr/lib64/mosml/CharArray.sig |
-rw-r--r-- | 20942 | root | root | /usr/lib64/mosml/CharArray.ui |
-rw-r--r-- | 8785 | root | root | /usr/lib64/mosml/CharArray.uo |
-rw-r--r-- | 1229 | root | root | /usr/lib64/mosml/CharVector.sig |
-rw-r--r-- | 17086 | root | root | /usr/lib64/mosml/CharVector.ui |
-rw-r--r-- | 7332 | root | root | /usr/lib64/mosml/CharVector.uo |
-rw-r--r-- | 317 | root | root | /usr/lib64/mosml/CommandLine.sig |
-rw-r--r-- | 4062 | root | root | /usr/lib64/mosml/CommandLine.ui |
-rw-r--r-- | 2416 | root | root | /usr/lib64/mosml/CommandLine.uo |
-rw-r--r-- | 7130 | root | root | /usr/lib64/mosml/Date.sig |
-rw-r--r-- | 26342 | root | root | /usr/lib64/mosml/Date.ui |
-rw-r--r-- | 28474 | root | root | /usr/lib64/mosml/Date.uo |
-rw-r--r-- | 1630 | root | root | /usr/lib64/mosml/Dynarray.sig |
-rw-r--r-- | 9702 | root | root | /usr/lib64/mosml/Dynarray.ui |
-rw-r--r-- | 5406 | root | root | /usr/lib64/mosml/Dynarray.uo |
-rw-r--r-- | 5449 | root | root | /usr/lib64/mosml/Dynlib.sig |
-rw-r--r-- | 12478 | root | root | /usr/lib64/mosml/Dynlib.ui |
-rw-r--r-- | 7431 | root | root | /usr/lib64/mosml/Dynlib.uo |
-rw-r--r-- | 6396 | root | root | /usr/lib64/mosml/FileSys.sig |
-rw-r--r-- | 19526 | root | root | /usr/lib64/mosml/FileSys.ui |
-rw-r--r-- | 25022 | root | root | /usr/lib64/mosml/FileSys.uo |
-rw-r--r-- | 5217 | root | root | /usr/lib64/mosml/Gdbm.sig |
-rw-r--r-- | 20254 | root | root | /usr/lib64/mosml/Gdbm.ui |
-rw-r--r-- | 32183 | root | root | /usr/lib64/mosml/Gdbm.uo |
-rw-r--r-- | 8085 | root | root | /usr/lib64/mosml/Gdimage.sig |
-rw-r--r-- | 31038 | root | root | /usr/lib64/mosml/Gdimage.ui |
-rw-r--r-- | 39758 | root | root | /usr/lib64/mosml/Gdimage.uo |
-rw-r--r-- | 9497 | root | root | /usr/lib64/mosml/General.sig |
-rw-r--r-- | 2659 | root | root | /usr/lib64/mosml/Help.sig |
-rw-r--r-- | 7686 | root | root | /usr/lib64/mosml/Help.ui |
-rw-r--r-- | 37197 | root | root | /usr/lib64/mosml/Help.uo |
-rw-r--r-- | 2302 | root | root | /usr/lib64/mosml/IO.ui |
-rw-r--r-- | 738 | root | root | /usr/lib64/mosml/IO.uo |
-rw-r--r-- | 4827 | root | root | /usr/lib64/mosml/Int.sig |
-rw-r--r-- | 23734 | root | root | /usr/lib64/mosml/Int.ui |
-rw-r--r-- | 16811 | root | root | /usr/lib64/mosml/Int.uo |
-rw-r--r-- | 2214 | root | root | /usr/lib64/mosml/Intmap.sig |
-rw-r--r-- | 16230 | root | root | /usr/lib64/mosml/Intmap.ui |
-rw-r--r-- | 14753 | root | root | /usr/lib64/mosml/Intmap.uo |
-rw-r--r-- | 2541 | root | root | /usr/lib64/mosml/Intset.sig |
-rw-r--r-- | 16958 | root | root | /usr/lib64/mosml/Intset.ui |
-rw-r--r-- | 31344 | root | root | /usr/lib64/mosml/Intset.uo |
-rw-r--r-- | 3495 | root | root | /usr/lib64/mosml/Lexing.sig |
-rw-r--r-- | 13462 | root | root | /usr/lib64/mosml/Lexing.ui |
-rw-r--r-- | 6257 | root | root | /usr/lib64/mosml/Lexing.uo |
-rw-r--r-- | 4524 | root | root | /usr/lib64/mosml/List.sig |
-rw-r--r-- | 23390 | root | root | /usr/lib64/mosml/List.ui |
-rw-r--r-- | 13314 | root | root | /usr/lib64/mosml/List.uo |
-rw-r--r-- | 2631 | root | root | /usr/lib64/mosml/ListPair.sig |
-rw-r--r-- | 13774 | root | root | /usr/lib64/mosml/ListPair.ui |
-rw-r--r-- | 3797 | root | root | /usr/lib64/mosml/ListPair.uo |
-rw-r--r-- | 381 | root | root | /usr/lib64/mosml/Listsort.sig |
-rw-r--r-- | 5854 | root | root | /usr/lib64/mosml/Listsort.ui |
-rw-r--r-- | 2047 | root | root | /usr/lib64/mosml/Listsort.uo |
-rw-r--r-- | 3188 | root | root | /usr/lib64/mosml/Location.sig |
-rw-r--r-- | 12038 | root | root | /usr/lib64/mosml/Location.ui |
-rw-r--r-- | 22225 | root | root | /usr/lib64/mosml/Location.uo |
-rw-r--r-- | 2285 | root | root | /usr/lib64/mosml/Math.sig |
-rw-r--r-- | 9214 | root | root | /usr/lib64/mosml/Math.ui |
-rw-r--r-- | 7382 | root | root | /usr/lib64/mosml/Math.uo |
-rw-r--r-- | 11332 | root | root | /usr/lib64/mosml/Meta.sig |
-rw-r--r-- | 1115 | root | root | /usr/lib64/mosml/Misc.sig |
-rw-r--r-- | 22166 | root | root | /usr/lib64/mosml/Misc.ui |
-rw-r--r-- | 11662 | root | root | /usr/lib64/mosml/Misc.uo |
-rw-r--r-- | 2526 | root | root | /usr/lib64/mosml/Mosml.sig |
-rw-r--r-- | 9310 | root | root | /usr/lib64/mosml/Mosml.ui |
-rw-r--r-- | 13544 | root | root | /usr/lib64/mosml/Mosml.uo |
-rw-r--r-- | 7112 | root | root | /usr/lib64/mosml/Mosmlcgi.sig |
-rw-r--r-- | 24646 | root | root | /usr/lib64/mosml/Mosmlcgi.ui |
-rw-r--r-- | 50763 | root | root | /usr/lib64/mosml/Mosmlcgi.uo |
-rw-r--r-- | 1659 | root | root | /usr/lib64/mosml/Mosmlcookie.sig |
-rw-r--r-- | 9790 | root | root | /usr/lib64/mosml/Mosmlcookie.ui |
-rw-r--r-- | 12682 | root | root | /usr/lib64/mosml/Mosmlcookie.uo |
-rw-r--r-- | 11719 | root | root | /usr/lib64/mosml/Msp.sig |
-rw-r--r-- | 52166 | root | root | /usr/lib64/mosml/Msp.ui |
-rw-r--r-- | 78628 | root | root | /usr/lib64/mosml/Msp.uo |
-rw-r--r-- | 11484 | root | root | /usr/lib64/mosml/Mysql.sig |
-rw-r--r-- | 41518 | root | root | /usr/lib64/mosml/Mysql.ui |
-rw-r--r-- | 77737 | root | root | /usr/lib64/mosml/Mysql.uo |
-rw-r--r-- | 2223 | root | root | /usr/lib64/mosml/NJ93.sig |
-rw-r--r-- | 30574 | root | root | /usr/lib64/mosml/NJ93.ui |
-rw-r--r-- | 22477 | root | root | /usr/lib64/mosml/NJ93.uo |
-rw-r--r-- | 1040 | root | root | /usr/lib64/mosml/Nonstdio.sig |
-rw-r--r-- | 13582 | root | root | /usr/lib64/mosml/Nonstdio.ui |
-rw-r--r-- | 23038 | root | root | /usr/lib64/mosml/Nonstdio.uo |
-rw-r--r-- | 511 | root | root | /usr/lib64/mosml/OS.sig |
-rw-r--r-- | 42790 | root | root | /usr/lib64/mosml/OS.ui |
-rw-r--r-- | 11770 | root | root | /usr/lib64/mosml/OS.uo |
-rw-r--r-- | 6734 | root | root | /usr/lib64/mosml/Obj.ui |
-rw-r--r-- | 260 | root | root | /usr/lib64/mosml/Obj.uo |
-rw-r--r-- | 1621 | root | root | /usr/lib64/mosml/Option.sig |
-rw-r--r-- | 12078 | root | root | /usr/lib64/mosml/Option.ui |
-rw-r--r-- | 4018 | root | root | /usr/lib64/mosml/Option.uo |
-rw-r--r-- | 6891 | root | root | /usr/lib64/mosml/PP.sig |
-rw-r--r-- | 9886 | root | root | /usr/lib64/mosml/PP.ui |
-rw-r--r-- | 39633 | root | root | /usr/lib64/mosml/PP.uo |
-rw-r--r-- | 2859 | root | root | /usr/lib64/mosml/Parsing.sig |
-rw-r--r-- | 10662 | root | root | /usr/lib64/mosml/Parsing.ui |
-rw-r--r-- | 10925 | root | root | /usr/lib64/mosml/Parsing.uo |
-rw-r--r-- | 8088 | root | root | /usr/lib64/mosml/Path.sig |
-rw-r--r-- | 17054 | root | root | /usr/lib64/mosml/Path.ui |
-rw-r--r-- | 27099 | root | root | /usr/lib64/mosml/Path.uo |
-rw-r--r-- | 4516 | root | root | /usr/lib64/mosml/Polygdbm.sig |
-rw-r--r-- | 22054 | root | root | /usr/lib64/mosml/Polygdbm.ui |
-rw-r--r-- | 11355 | root | root | /usr/lib64/mosml/Polygdbm.uo |
-rw-r--r-- | 4441 | root | root | /usr/lib64/mosml/Polyhash.sig |
-rw-r--r-- | 20550 | root | root | /usr/lib64/mosml/Polyhash.ui |
-rw-r--r-- | 15520 | root | root | /usr/lib64/mosml/Polyhash.uo |
-rw-r--r-- | 11998 | root | root | /usr/lib64/mosml/Postgres.sig |
-rw-r--r-- | 44838 | root | root | /usr/lib64/mosml/Postgres.ui |
-rw-r--r-- | 73967 | root | root | /usr/lib64/mosml/Postgres.uo |
-rw-r--r-- | 1312 | root | root | /usr/lib64/mosml/Process.sig |
-rw-r--r-- | 6422 | root | root | /usr/lib64/mosml/Process.ui |
-rw-r--r-- | 3739 | root | root | /usr/lib64/mosml/Process.uo |
-rw-r--r-- | 1020 | root | root | /usr/lib64/mosml/Random.sig |
-rw-r--r-- | 7390 | root | root | /usr/lib64/mosml/Random.ui |
-rw-r--r-- | 6053 | root | root | /usr/lib64/mosml/Random.uo |
-rw-r--r-- | 4202 | root | root | /usr/lib64/mosml/Real.sig |
-rw-r--r-- | 25150 | root | root | /usr/lib64/mosml/Real.ui |
-rw-r--r-- | 17430 | root | root | /usr/lib64/mosml/Real.uo |
-rw-r--r-- | 12109 | root | root | /usr/lib64/mosml/Regex.sig |
-rw-r--r-- | 22942 | root | root | /usr/lib64/mosml/Regex.ui |
-rw-r--r-- | 37453 | root | root | /usr/lib64/mosml/Regex.uo |
-rw-r--r-- | 960 | root | root | /usr/lib64/mosml/SML90.sig |
-rw-r--r-- | 16814 | root | root | /usr/lib64/mosml/SML90.ui |
-rw-r--r-- | 13143 | root | root | /usr/lib64/mosml/SML90.uo |
-rw-r--r-- | 1671 | root | root | /usr/lib64/mosml/Signal.sig |
-rw-r--r-- | 10286 | root | root | /usr/lib64/mosml/Signal.ui |
-rw-r--r-- | 7137 | root | root | /usr/lib64/mosml/Signal.uo |
-rw-r--r-- | 13136 | root | root | /usr/lib64/mosml/Socket.sig |
-rw-r--r-- | 44798 | root | root | /usr/lib64/mosml/Socket.ui |
-rw-r--r-- | 41072 | root | root | /usr/lib64/mosml/Socket.uo |
-rw-r--r-- | 2602 | root | root | /usr/lib64/mosml/Splaymap.sig |
-rw-r--r-- | 19342 | root | root | /usr/lib64/mosml/Splaymap.ui |
-rw-r--r-- | 7576 | root | root | /usr/lib64/mosml/Splaymap.uo |
-rw-r--r-- | 3266 | root | root | /usr/lib64/mosml/Splayset.sig |
-rw-r--r-- | 22894 | root | root | /usr/lib64/mosml/Splayset.ui |
-rw-r--r-- | 15274 | root | root | /usr/lib64/mosml/Splayset.uo |
-rw-r--r-- | 675 | root | root | /usr/lib64/mosml/Splaytree.sig |
-rw-r--r-- | 5990 | root | root | /usr/lib64/mosml/Splaytree.ui |
-rw-r--r-- | 2547 | root | root | /usr/lib64/mosml/Splaytree.uo |
-rw-r--r-- | 1119 | root | root | /usr/lib64/mosml/Strbase.sig |
-rw-r--r-- | 15206 | root | root | /usr/lib64/mosml/Strbase.ui |
-rw-r--r-- | 20537 | root | root | /usr/lib64/mosml/Strbase.uo |
-rw-r--r-- | 4898 | root | root | /usr/lib64/mosml/String.sig |
-rw-r--r-- | 20846 | root | root | /usr/lib64/mosml/String.ui |
-rw-r--r-- | 16369 | root | root | /usr/lib64/mosml/String.uo |
-rw-r--r-- | 3250 | root | root | /usr/lib64/mosml/StringCvt.sig |
-rw-r--r-- | 14126 | root | root | /usr/lib64/mosml/StringCvt.ui |
-rw-r--r-- | 4221 | root | root | /usr/lib64/mosml/StringCvt.uo |
-rw-r--r-- | 10151 | root | root | /usr/lib64/mosml/Substring.sig |
-rw-r--r-- | 26766 | root | root | /usr/lib64/mosml/Substring.ui |
-rw-r--r-- | 16595 | root | root | /usr/lib64/mosml/Substring.uo |
-rw-r--r-- | 688 | root | root | /usr/lib64/mosml/Susp.sig |
-rw-r--r-- | 3254 | root | root | /usr/lib64/mosml/Susp.ui |
-rw-r--r-- | 910 | root | root | /usr/lib64/mosml/Susp.uo |
-rw-r--r-- | 7169 | root | root | /usr/lib64/mosml/TextIO.sig |
-rw-r--r-- | 19510 | root | root | /usr/lib64/mosml/TextIO.ui |
-rw-r--r-- | 28240 | root | root | /usr/lib64/mosml/TextIO.uo |
-rw-r--r-- | 3832 | root | root | /usr/lib64/mosml/Time.sig |
-rw-r--r-- | 18718 | root | root | /usr/lib64/mosml/Time.ui |
-rw-r--r-- | 14974 | root | root | /usr/lib64/mosml/Time.uo |
-rw-r--r-- | 1452 | root | root | /usr/lib64/mosml/Timer.sig |
-rw-r--r-- | 5750 | root | root | /usr/lib64/mosml/Timer.ui |
-rw-r--r-- | 6973 | root | root | /usr/lib64/mosml/Timer.uo |
-rw-r--r-- | 3159 | root | root | /usr/lib64/mosml/Unix.sig |
-rw-r--r-- | 8598 | root | root | /usr/lib64/mosml/Unix.ui |
-rw-r--r-- | 15948 | root | root | /usr/lib64/mosml/Unix.uo |
-rw-r--r-- | 5296 | root | root | /usr/lib64/mosml/Vector.sig |
-rw-r--r-- | 18374 | root | root | /usr/lib64/mosml/Vector.ui |
-rw-r--r-- | 8129 | root | root | /usr/lib64/mosml/Vector.uo |
-rw-r--r-- | 7443 | root | root | /usr/lib64/mosml/Weak.sig |
-rw-r--r-- | 19070 | root | root | /usr/lib64/mosml/Weak.ui |
-rw-r--r-- | 13068 | root | root | /usr/lib64/mosml/Weak.uo |
-rw-r--r-- | 5484 | root | root | /usr/lib64/mosml/Word.sig |
-rw-r--r-- | 26206 | root | root | /usr/lib64/mosml/Word.ui |
-rw-r--r-- | 17272 | root | root | /usr/lib64/mosml/Word.uo |
-rw-r--r-- | 5780 | root | root | /usr/lib64/mosml/Word8.sig |
-rw-r--r-- | 26886 | root | root | /usr/lib64/mosml/Word8.ui |
-rw-r--r-- | 17300 | root | root | /usr/lib64/mosml/Word8.uo |
-rw-r--r-- | 1434 | root | root | /usr/lib64/mosml/Word8Array.sig |
-rw-r--r-- | 20614 | root | root | /usr/lib64/mosml/Word8Array.ui |
-rw-r--r-- | 10936 | root | root | /usr/lib64/mosml/Word8Array.uo |
-rw-r--r-- | 1179 | root | root | /usr/lib64/mosml/Word8Vector.sig |
-rw-r--r-- | 16846 | root | root | /usr/lib64/mosml/Word8Vector.ui |
-rw-r--r-- | 8602 | root | root | /usr/lib64/mosml/Word8Vector.uo |
lrw-r--r-- | 18 | root | root | /usr/lib64/mosml/camlrunm |
-rw-r--r-- | 20 | root | root | /usr/lib64/mosml/header |
-rw-r--r-- | 102360 | root | root | /usr/lib64/mosml/helpsigs.val |
-rwxr-xr-x | 34744 | root | root | /usr/lib64/mosml/libmregex.so |
-rwxr-xr-x | 10528 | root | root | /usr/lib64/mosml/libmsocket.so |
-rwxr-xr-x | 5688 | root | root | /usr/lib64/mosml/libmunix.so |
-rw-r--r-- | 283190 | root | root | /usr/lib64/mosml/mosmlcmp |
-rw-r--r-- | 24793 | root | root | /usr/lib64/mosml/mosmllex |
-rw-r--r-- | 36375 | root | root | /usr/lib64/mosml/mosmllnk |
-rw-r--r-- | 303834 | root | root | /usr/lib64/mosml/mosmltop |
drwxr-xr-x | 128 | root | root | /usr/lib64/mosml/tools |
-rw-r--r-- | 1435 | root | root | /usr/lib64/mosml/tools/Makefile.stub |
-rw-r--r-- | 2427 | root | root | /usr/lib64/mosml/tools/cutdeps |
-rw-r--r-- | 30683 | root | root | /usr/lib64/mosml/tools/mosmldep |
drwxr-xr-x | 168 | root | root | /usr/share/doc/mosml-2.01 |
-rw-r--r-- | 2988 | root | root | /usr/share/doc/mosml-2.01/README.gz |
-rw-r--r-- | 745 | root | root | /usr/share/doc/mosml-2.01/copyrght.att.gz |
-rw-r--r-- | 1014 | root | root | /usr/share/doc/mosml-2.01/copyrght.cl.gz |
-rw-r--r-- | 5796 | root | root | /usr/share/doc/mosml-2.01/gpl2.gz |
drwxr-xr-x | 488 | root | root | /usr/src/examples/mosml |
-rw-r--r-- | 191 | root | root | /usr/src/examples/mosml/Makefile |
-rw-r--r-- | 339 | root | root | /usr/src/examples/mosml/Makefile.w32 |
-rw-r--r-- | 2614 | root | root | /usr/src/examples/mosml/README |
-rw-r--r-- | 1322 | root | root | /usr/src/examples/mosml/Readme.w32 |
drwxr-xr-x | 192 | root | root | /usr/src/examples/mosml/calc |
drwxr-xr-x | 336 | root | root | /usr/src/examples/mosml/cgi |
drwxr-xr-x | 288 | root | root | /usr/src/examples/mosml/lexyacc |
drwxr-xr-x | 280 | root | root | /usr/src/examples/mosml/manual |
drwxr-xr-x | 128 | root | root | /usr/src/examples/mosml/mls |
drwxr-xr-x | 320 | root | root | /usr/src/examples/mosml/modules |
drwxr-xr-x | 160 | root | root | /usr/src/examples/mosml/parsercomb |
drwxr-xr-x | 392 | root | root | /usr/src/examples/mosml/paulson |
drwxr-xr-x | 168 | root | root | /usr/src/examples/mosml/pretty |
drwxr-xr-x | 296 | root | root | /usr/src/examples/mosml/small |
drwxr-xr-x | 336 | root | root | /usr/src/examples/mosml/units |
drwxr-xr-x | 160 | root | root | /usr/src/examples/mosml/weak |
drwxr-xr-x | 232 | root | root | /usr/src/examples/mosml/webserver |
-rw-r--r-- | 561 | root | root | /usr/src/examples/mosml/calc/Lexer.lex |
-rw-r--r-- | 1001 | root | root | /usr/src/examples/mosml/calc/Makefile |
-rw-r--r-- | 1118 | root | root | /usr/src/examples/mosml/calc/Makefile.w32 |
-rw-r--r-- | 642 | root | root | /usr/src/examples/mosml/calc/Parser.grm |
-rw-r--r-- | 428 | root | root | /usr/src/examples/mosml/calc/calc.sml |
-rw-r--r-- | 1219 | root | root | /usr/src/examples/mosml/cgi/Makefile |
-rw-r--r-- | 1177 | root | root | /usr/src/examples/mosml/cgi/Makefile.w32 |
-rw-r--r-- | 1542 | root | root | /usr/src/examples/mosml/cgi/README |
-rw-r--r-- | 2745 | root | root | /usr/src/examples/mosml/cgi/README1 |
-rw-r--r-- | 2608 | root | root | /usr/src/examples/mosml/cgi/README2 |
-rw-r--r-- | 1213 | root | root | /usr/src/examples/mosml/cgi/cgiex1.sml |
-rw-r--r-- | 1207 | root | root | /usr/src/examples/mosml/cgi/cgiex2.sml |
-rw-r--r-- | 4092 | root | root | /usr/src/examples/mosml/cgi/cgitest.sml |
-rw-r--r-- | 890 | root | root | /usr/src/examples/mosml/cgi/htmlform.html |
-rw-r--r-- | 933 | root | root | /usr/src/examples/mosml/cgi/upload.html |
-rw-r--r-- | 584 | root | root | /usr/src/examples/mosml/lexyacc/Data.sml |
-rw-r--r-- | 3021 | root | root | /usr/src/examples/mosml/lexyacc/Lexer.lex |
-rw-r--r-- | 1601 | root | root | /usr/src/examples/mosml/lexyacc/Main.sml |
-rw-r--r-- | 790 | root | root | /usr/src/examples/mosml/lexyacc/Makefile |
-rw-r--r-- | 886 | root | root | /usr/src/examples/mosml/lexyacc/Makefile.w32 |
-rw-r--r-- | 3466 | root | root | /usr/src/examples/mosml/lexyacc/Parser.grm |
-rw-r--r-- | 7100 | root | root | /usr/src/examples/mosml/lexyacc/README |
drwxr-xr-x | 392 | root | root | /usr/src/examples/mosml/lexyacc/cl |
-rw-r--r-- | 153 | root | root | /usr/src/examples/mosml/lexyacc/load |
-rw-r--r-- | 321 | root | root | /usr/src/examples/mosml/lexyacc/cl/append.cl |
-rw-r--r-- | 2088 | root | root | /usr/src/examples/mosml/lexyacc/cl/edigits.cl |
-rw-r--r-- | 304 | root | root | /usr/src/examples/mosml/lexyacc/cl/error1.cl |
-rw-r--r-- | 299 | root | root | /usr/src/examples/mosml/lexyacc/cl/error2.cl |
-rw-r--r-- | 309 | root | root | /usr/src/examples/mosml/lexyacc/cl/error3.cl |
-rw-r--r-- | 135 | root | root | /usr/src/examples/mosml/lexyacc/cl/fib.cl |
-rw-r--r-- | 862 | root | root | /usr/src/examples/mosml/lexyacc/cl/fibs.cl |
-rw-r--r-- | 1442 | root | root | /usr/src/examples/mosml/lexyacc/cl/hamming.cl |
-rw-r--r-- | 2591 | root | root | /usr/src/examples/mosml/lexyacc/cl/lists.cl |
-rw-r--r-- | 284 | root | root | /usr/src/examples/mosml/lexyacc/cl/nats.cl |
-rw-r--r-- | 726 | root | root | /usr/src/examples/mosml/lexyacc/cl/sieve.cl |
-rw-r--r-- | 340 | root | root | /usr/src/examples/mosml/lexyacc/cl/takefrom.cl |
-rw-r--r-- | 92 | root | root | /usr/src/examples/mosml/manual/Evaluate.sig |
-rw-r--r-- | 266 | root | root | /usr/src/examples/mosml/manual/Evaluate.sml |
-rw-r--r-- | 254 | root | root | /usr/src/examples/mosml/manual/Expr.sml |
-rw-r--r-- | 661 | root | root | /usr/src/examples/mosml/manual/Makefile |
-rw-r--r-- | 686 | root | root | /usr/src/examples/mosml/manual/Makefile.w32 |
-rw-r--r-- | 66 | root | root | /usr/src/examples/mosml/manual/Reduce.sig |
-rw-r--r-- | 441 | root | root | /usr/src/examples/mosml/manual/Reduce.sml |
-rw-r--r-- | 109 | root | root | /usr/src/examples/mosml/manual/load |
-rw-r--r-- | 492 | root | root | /usr/src/examples/mosml/mls/Makefile |
-rw-r--r-- | 521 | root | root | /usr/src/examples/mosml/mls/Makefile.w32 |
-rw-r--r-- | 1466 | root | root | /usr/src/examples/mosml/mls/mls.sml |
-rw-r--r-- | 1275 | root | root | /usr/src/examples/mosml/modules/README |
-rw-r--r-- | 1877 | root | root | /usr/src/examples/mosml/modules/array.sml |
-rw-r--r-- | 6204 | root | root | /usr/src/examples/mosml/modules/bootstrap.sml |
-rw-r--r-- | 1976 | root | root | /usr/src/examples/mosml/modules/choice.sml |
-rw-r--r-- | 3252 | root | root | /usr/src/examples/mosml/modules/collect.sml |
-rw-r--r-- | 1280 | root | root | /usr/src/examples/mosml/modules/matrix.sml |
-rw-r--r-- | 4378 | root | root | /usr/src/examples/mosml/modules/poly.sml |
-rw-r--r-- | 1526 | root | root | /usr/src/examples/mosml/modules/recursion.sml |
-rw-r--r-- | 2412 | root | root | /usr/src/examples/mosml/modules/sieve.sml |
-rw-r--r-- | 559 | root | root | /usr/src/examples/mosml/parsercomb/Makefile |
-rw-r--r-- | 10387 | root | root | /usr/src/examples/mosml/parsercomb/Parsercomb.sig |
-rw-r--r-- | 4764 | root | root | /usr/src/examples/mosml/parsercomb/Parsercomb.sml |
-rw-r--r-- | 297 | root | root | /usr/src/examples/mosml/parsercomb/README |
-rw-r--r-- | 250 | root | root | /usr/src/examples/mosml/paulson/README |
-rw-r--r-- | 342 | root | root | /usr/src/examples/mosml/paulson/sample.sml |
-rw-r--r-- | 20794 | root | root | /usr/src/examples/mosml/paulson/sample10.sml |
-rw-r--r-- | 3791 | root | root | /usr/src/examples/mosml/paulson/sample2.sml |
-rw-r--r-- | 12246 | root | root | /usr/src/examples/mosml/paulson/sample3.sml |
-rw-r--r-- | 10316 | root | root | /usr/src/examples/mosml/paulson/sample4.sml |
-rw-r--r-- | 6944 | root | root | /usr/src/examples/mosml/paulson/sample5.sml |
-rw-r--r-- | 14144 | root | root | /usr/src/examples/mosml/paulson/sample7.sml |
-rw-r--r-- | 12264 | root | root | /usr/src/examples/mosml/paulson/sample8.sml |
-rw-r--r-- | 13379 | root | root | /usr/src/examples/mosml/paulson/sample9.sml |
-rw-r--r-- | 18916 | root | root | /usr/src/examples/mosml/paulson/test10.sml |
-rw-r--r-- | 30 | root | root | /usr/src/examples/mosml/pretty/Makefile |
-rw-r--r-- | 33 | root | root | /usr/src/examples/mosml/pretty/Makefile.w32 |
-rw-r--r-- | 1422 | root | root | /usr/src/examples/mosml/pretty/ppexpr.sml |
-rw-r--r-- | 1021 | root | root | /usr/src/examples/mosml/pretty/pproman.sml |
-rw-r--r-- | 481 | root | root | /usr/src/examples/mosml/small/README |
-rw-r--r-- | 558 | root | root | /usr/src/examples/mosml/small/countperms.sml |
-rw-r--r-- | 827 | root | root | /usr/src/examples/mosml/small/countqueens.sml |
-rw-r--r-- | 1417 | root | root | /usr/src/examples/mosml/small/perms.sml |
-rw-r--r-- | 2558 | root | root | /usr/src/examples/mosml/small/queens.sml |
-rw-r--r-- | 759 | root | root | /usr/src/examples/mosml/small/roman.sml |
-rw-r--r-- | 1946 | root | root | /usr/src/examples/mosml/small/subsets.sml |
-rw-r--r-- | 955 | root | root | /usr/src/examples/mosml/small/subsum.sml |
-rw-r--r-- | 145 | root | root | /usr/src/examples/mosml/units/Evaluate.sig |
-rw-r--r-- | 0 | root | root | /usr/src/examples/mosml/units/Evaluate.sm |
-rw-r--r-- | 234 | root | root | /usr/src/examples/mosml/units/Evaluate.sml |
-rw-r--r-- | 254 | root | root | /usr/src/examples/mosml/units/Expr.sml |
-rw-r--r-- | 1185 | root | root | /usr/src/examples/mosml/units/Makefile |
-rw-r--r-- | 1185 | root | root | /usr/src/examples/mosml/units/Makefile.w32 |
-rw-r--r-- | 66 | root | root | /usr/src/examples/mosml/units/Reduce.sig |
-rw-r--r-- | 441 | root | root | /usr/src/examples/mosml/units/Reduce.sml |
-rw-r--r-- | 131 | root | root | /usr/src/examples/mosml/units/Test.sml |
-rw-r--r-- | 116 | root | root | /usr/src/examples/mosml/units/load |
-rw-r--r-- | 337 | root | root | /usr/src/examples/mosml/weak/Makefile |
-rw-r--r-- | 103 | root | root | /usr/src/examples/mosml/weak/Makefile.w32 |
-rw-r--r-- | 1098 | root | root | /usr/src/examples/mosml/weak/README |
-rw-r--r-- | 1819 | root | root | /usr/src/examples/mosml/weak/hashcons.sml |
-rw-r--r-- | 807 | root | root | /usr/src/examples/mosml/webserver/Makefile |
-rw-r--r-- | 1654 | root | root | /usr/src/examples/mosml/webserver/README |
-rw-r--r-- | 2020 | root | root | /usr/src/examples/mosml/webserver/echoserver.sml |
-rw-r--r-- | 2874 | root | root | /usr/src/examples/mosml/webserver/minimalserver.sml |
-rw-r--r-- | 8873 | root | root | /usr/src/examples/mosml/webserver/mosmlserver.sml |
-rw-r--r-- | 218 | root | root | /usr/src/examples/mosml/webserver/useit.sml |