--- /dev/null
+diff -ur ocaml-3.04/tools/objinfo.ml ocaml-3.04-/tools/objinfo.ml
+--- ocaml-3.04/tools/objinfo.ml Mon Mar 27 14:18:09 2000
++++ ocaml-3.04-/tools/objinfo.ml Wed May 8 11:30:02 2002
+@@ -62,6 +62,29 @@
+ print_string name; print_newline())
+ crcs
+
++let print_opt_info ui =
++ print_string " Unit name: "; print_string ui.Compilenv.ui_name;
++ print_newline();
++ print_string " Interfaces imported:"; print_newline();
++ List.iter
++ (fun (name, digest) ->
++ print_string "\t"; print_digest digest; print_string "\t";
++ print_string name; print_newline())
++ ui.Compilenv.ui_imports_cmi;
++ print_string " Infos imported:"; print_newline();
++ List.iter
++ (fun (name, digest) ->
++ print_string "\t"; print_digest digest; print_string "\t";
++ print_string name; print_newline())
++ ui.Compilenv.ui_imports_cmx
++
++let print_opt_library_info lib =
++ print_string " Extra C object files:";
++ List.iter print_spaced_string lib.Compilenv.lib_ccobjs; print_newline();
++ print_string " Extra C options:";
++ List.iter print_spaced_string lib.Compilenv.lib_ccopts; print_newline();
++ List.iter print_opt_info (List.map fst lib.Compilenv.lib_units)
++
+ let dump_obj filename =
+ print_string "File "; print_string filename; print_newline();
+ let ic = open_in_bin filename in
+@@ -86,6 +109,16 @@
+ let crcs = input_value ic in
+ close_in ic;
+ print_intf_info name sign comps crcs
++ end else
++ if buffer = cmx_magic_number then begin
++ let ui = (input_value ic : Compilenv.unit_infos) in
++ close_in ic;
++ print_opt_info ui
++ end else
++ if buffer = cmxa_magic_number then begin
++ let li = (input_value ic : Compilenv.library_infos) in
++ close_in ic;
++ print_opt_library_info li
+ end else begin
+ prerr_endline "Not an object file"; exit 2
+ end