/usr/bin/cdo2ml /usr/bin/cduce /usr/bin/cduce_mktop /usr/bin/mlcduce_wrapper /usr/lib/ocaml/3.08.3/cduce/META /usr/lib/ocaml/3.08.3/cduce/cduce_lib.cma /usr/lib/ocaml/3.08.3/cduce/cduce_lib.cmi /usr/share/doc-base/cduce /usr/share/doc/cduce/AUTHORS /usr/share/doc/cduce/README.Debian /usr/share/doc/cduce/README.gz /usr/share/doc/cduce/changelog.Debian.gz /usr/share/doc/cduce/changelog.gz /usr/share/doc/cduce/copyright /usr/share/doc/cduce/html/img/left.gif /usr/share/doc/cduce/html/img/right.gif /usr/share/doc/cduce/html/index.html /usr/share/doc/cduce/html/manual.html /usr/share/doc/cduce/html/manual_expressions.html /usr/share/doc/cduce/html/manual_interfacewithocaml.html /usr/share/doc/cduce/html/manual_interpreter.html /usr/share/doc/cduce/html/manual_schema.html /usr/share/doc/cduce/html/manual_schema_samples.html /usr/share/doc/cduce/html/manual_types_patterns.html /usr/share/doc/cduce/html/memento.html /usr/share/doc/cduce/html/namespaces.html /usr/share/doc/cduce/html/sitemap.html /usr/share/doc/cduce/html/tutorial.html /usr/share/doc/cduce/html/tutorial_errors.html /usr/share/doc/cduce/html/tutorial_exercises.html /usr/share/doc/cduce/html/tutorial_first_functions.html /usr/share/doc/cduce/html/tutorial_getting_started.html /usr/share/doc/cduce/html/tutorial_higherorder.html /usr/share/doc/cduce/html/tutorial_overloading.html /usr/share/doc/cduce/html/tutorial_patterns.html /usr/share/doc/cduce/html/tutorial_queries.html /usr/share/doc/cduce/html/tutorial_references.html /usr/share/doc/man/man1/cdo2ml.1 /usr/share/doc/man/man1/cduce.1 /usr/share/doc/man/man1/cduce_mktop.1 /usr/share/man/man1/cdo2ml.1.gz /usr/share/man/man1/cduce.1.gz /usr/share/man/man1/cduce_mktop.1.gz