directory="@HBUGS_CLIENT_DIR@"
archive(byte) = "hbugs_client_gui.cmo hbugs_client.cmo"
archive(native) = "hbugs_client_gui.cmx hbugs_client.cmx"
directory="@HBUGS_CLIENT_DIR@"
archive(byte) = "hbugs_client_gui.cmo hbugs_client.cmo"
archive(native) = "hbugs_client_gui.cmx hbugs_client.cmx"