Files
-rwxr-xr-x | 6165408 | root | root | /usr/bin/cduce |
-rwxr-xr-x | 815 | root | root | /usr/bin/cduce_mktop |
-rwxr-xr-x | 2648192 | root | root | /usr/bin/dtd2cduce |
drwxr-xr-x | 4096 | root | root | /usr/lib64/ocaml/site-lib/cduce |
-rw-r--r-- | 267 | root | root | /usr/lib64/ocaml/site-lib/cduce/META |
-rw-r--r-- | 5563482 | root | root | /usr/lib64/ocaml/site-lib/cduce/cduce_lib.a |
-rw-r--r-- | 3448125 | root | root | /usr/lib64/ocaml/site-lib/cduce/cduce_lib.cma |
-rw-r--r-- | 264133 | root | root | /usr/lib64/ocaml/site-lib/cduce/cduce_lib.cmi |
-rw-r--r-- | 6011 | root | root | /usr/lib64/ocaml/site-lib/cduce/cduce_lib.cmxa |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/cduce-0.5.0 |
-rw-r--r-- | 353 | root | root | /usr/share/doc/cduce-0.5.0/AUTHORS |
-rw-r--r-- | 9968 | root | root | /usr/share/doc/cduce-0.5.0/CHANGES |
-rw-r--r-- | 5547 | root | root | /usr/share/doc/cduce-0.5.0/INSTALL |
-rw-r--r-- | 2783 | root | root | /usr/share/doc/cduce-0.5.0/INSTALL.WIN32 |
-rw-r--r-- | 1144 | root | root | /usr/share/doc/cduce-0.5.0/LICENSE |
-rw-r--r-- | 4098 | root | root | /usr/share/doc/cduce-0.5.0/README |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/cduce-0.5.0/img |
-rw-r--r-- | 1401 | root | root | /usr/share/doc/cduce-0.5.0/index.html |
-rw-r--r-- | 7180 | root | root | /usr/share/doc/cduce-0.5.0/manual.html |
-rw-r--r-- | 29560 | root | root | /usr/share/doc/cduce-0.5.0/manual_expressions.html |
-rw-r--r-- | 17755 | root | root | /usr/share/doc/cduce-0.5.0/manual_interfacewithocaml.html |
-rw-r--r-- | 11611 | root | root | /usr/share/doc/cduce-0.5.0/manual_interpreter.html |
-rw-r--r-- | 23865 | root | root | /usr/share/doc/cduce-0.5.0/manual_schema.html |
-rw-r--r-- | 7282 | root | root | /usr/share/doc/cduce-0.5.0/manual_schema_samples.html |
-rw-r--r-- | 25050 | root | root | /usr/share/doc/cduce-0.5.0/manual_types_patterns.html |
-rw-r--r-- | 14165 | root | root | /usr/share/doc/cduce-0.5.0/memento.html |
-rw-r--r-- | 12717 | root | root | /usr/share/doc/cduce-0.5.0/namespaces.html |
-rw-r--r-- | 10112 | root | root | /usr/share/doc/cduce-0.5.0/sitemap.html |
-rw-r--r-- | 4963 | root | root | /usr/share/doc/cduce-0.5.0/tutorial.html |
-rw-r--r-- | 9693 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_errors.html |
-rw-r--r-- | 5008 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_exercises.html |
-rw-r--r-- | 12277 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_first_functions.html |
-rw-r--r-- | 17408 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_getting_started.html |
-rw-r--r-- | 2743 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_higherorder.html |
-rw-r--r-- | 10281 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_overloading.html |
-rw-r--r-- | 17716 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_patterns.html |
-rw-r--r-- | 28402 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_queries.html |
-rw-r--r-- | 5157 | root | root | /usr/share/doc/cduce-0.5.0/tutorial_references.html |
-rw-r--r-- | 317 | root | root | /usr/share/doc/cduce-0.5.0/img/left.gif |
-rw-r--r-- | 317 | root | root | /usr/share/doc/cduce-0.5.0/img/right.gif |
-rw-r--r-- | 600 | root | root | /usr/share/man/man1/cduce.1.lzma |
-rw-r--r-- | 315 | root | root | /usr/share/man/man1/cduce_mktop.1.lzma |
-rw-r--r-- | 421 | root | root | /usr/share/man/man1/dtd2cduce.1.lzma |