Content of RPM
xsb-3.8.0.9471-lp150.1.2.x86_64.rpm :
/usr/bin/xsb
/usr/lib64/xsb-3.8.0
/usr/lib64/xsb-3.8.0/bin
/usr/lib64/xsb-3.8.0/bin/xsb-bits64
/usr/lib64/xsb-3.8.0/build
/usr/lib64/xsb-3.8.0/build/config.guess
/usr/lib64/xsb-3.8.0/build/config.sub
/usr/lib64/xsb-3.8.0/cmplib
/usr/lib64/xsb-3.8.0/cmplib/asm.xwam
/usr/lib64/xsb-3.8.0/cmplib/asm_inst.xwam
/usr/lib64/xsb-3.8.0/cmplib/asm_opt.xwam
/usr/lib64/xsb-3.8.0/cmplib/asmpass2.xwam
/usr/lib64/xsb-3.8.0/cmplib/auxlry.xwam
/usr/lib64/xsb-3.8.0/cmplib/builtin.xwam
/usr/lib64/xsb-3.8.0/cmplib/ciao_directives.xwam
/usr/lib64/xsb-3.8.0/cmplib/compile.xwam
/usr/lib64/xsb-3.8.0/cmplib/config.xwam
/usr/lib64/xsb-3.8.0/cmplib/cp_opt.xwam
/usr/lib64/xsb-3.8.0/cmplib/cutcheck.xwam
/usr/lib64/xsb-3.8.0/cmplib/flatten.xwam
/usr/lib64/xsb-3.8.0/cmplib/inprog.xwam
/usr/lib64/xsb-3.8.0/cmplib/listutil.xwam
/usr/lib64/xsb-3.8.0/cmplib/makemode.xwam
/usr/lib64/xsb-3.8.0/cmplib/modeinf.xwam
/usr/lib64/xsb-3.8.0/cmplib/modes.xwam
/usr/lib64/xsb-3.8.0/cmplib/parse.xwam
/usr/lib64/xsb-3.8.0/cmplib/peephole.xwam
/usr/lib64/xsb-3.8.0/cmplib/pre_cond.xwam
/usr/lib64/xsb-3.8.0/cmplib/preproc.xwam
/usr/lib64/xsb-3.8.0/cmplib/printres.xwam
/usr/lib64/xsb-3.8.0/cmplib/prof_sbp.xwam
/usr/lib64/xsb-3.8.0/cmplib/sanity.xwam
/usr/lib64/xsb-3.8.0/cmplib/singlton.xwam
/usr/lib64/xsb-3.8.0/cmplib/spec.xwam
/usr/lib64/xsb-3.8.0/cmplib/suppltab.xwam
/usr/lib64/xsb-3.8.0/cmplib/symtab.xwam
/usr/lib64/xsb-3.8.0/cmplib/tabdef.xwam
/usr/lib64/xsb-3.8.0/cmplib/ti_mod.xwam
/usr/lib64/xsb-3.8.0/cmplib/tp_comp.xwam
/usr/lib64/xsb-3.8.0/cmplib/tp_cond.xwam
/usr/lib64/xsb-3.8.0/cmplib/tp_eval.xwam
/usr/lib64/xsb-3.8.0/cmplib/tp_goal.xwam
/usr/lib64/xsb-3.8.0/cmplib/tp_index.xwam
/usr/lib64/xsb-3.8.0/cmplib/tp_var.xwam
/usr/lib64/xsb-3.8.0/cmplib/tpinline.xwam
/usr/lib64/xsb-3.8.0/cmplib/tprog.xwam
/usr/lib64/xsb-3.8.0/cmplib/useinfer.xwam
/usr/lib64/xsb-3.8.0/cmplib/varproc.xwam
/usr/lib64/xsb-3.8.0/cmplib/writeasm.xwam
/usr/lib64/xsb-3.8.0/config
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/banner.msg
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/bin
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/bin/gpp
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/bin/libxsb.so
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/bin/xsb
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/lib
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/lib/xsb_configuration.P
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/lib/xsb_configuration.xwam
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/lib/xsb_re_match.so
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/lib/xsb_re_match.xwam
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/lib/xsb_wildmatch.so
/usr/lib64/xsb-3.8.0/config/x86_64-unknown-linux-gnu-bits64/lib/xsb_wildmatch.xwam
/usr/lib64/xsb-3.8.0/emu
/usr/lib64/xsb-3.8.0/emu/auxlry.h
/usr/lib64/xsb-3.8.0/emu/basicdefs.h
/usr/lib64/xsb-3.8.0/emu/basictypes.h
/usr/lib64/xsb-3.8.0/emu/biassert_defs.h
/usr/lib64/xsb-3.8.0/emu/binding.h
/usr/lib64/xsb-3.8.0/emu/bineg_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/box_defines.h
/usr/lib64/xsb-3.8.0/emu/builtin.h
/usr/lib64/xsb-3.8.0/emu/call_graph_xsb.h
/usr/lib64/xsb-3.8.0/emu/call_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/cell_def_xsb.h
/usr/lib64/xsb-3.8.0/emu/cell_xsb.h
/usr/lib64/xsb-3.8.0/emu/cell_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/celltags_xsb.h
/usr/lib64/xsb-3.8.0/emu/choice.h
/usr/lib64/xsb-3.8.0/emu/cinterf.h
/usr/lib64/xsb-3.8.0/emu/cinterf_defs.h
/usr/lib64/xsb-3.8.0/emu/com_xsb_interprolog_NativeEngine.h
/usr/lib64/xsb-3.8.0/emu/complete_local.h
/usr/lib64/xsb-3.8.0/emu/complete_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/conc_compl.h
/usr/lib64/xsb-3.8.0/emu/conget_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/context.h
/usr/lib64/xsb-3.8.0/emu/cut_xsb.h
/usr/lib64/xsb-3.8.0/emu/deadlock.h
/usr/lib64/xsb-3.8.0/emu/debug_xsb.h
/usr/lib64/xsb-3.8.0/emu/demand.h
/usr/lib64/xsb-3.8.0/emu/deref.h
/usr/lib64/xsb-3.8.0/emu/dynamic_stack.h
/usr/lib64/xsb-3.8.0/emu/dynaout_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/dynelf_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/dynload.h
/usr/lib64/xsb-3.8.0/emu/dynwin32_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/emudef.h
/usr/lib64/xsb-3.8.0/emu/emuloop.h
/usr/lib64/xsb-3.8.0/emu/emuloop_aux.h
/usr/lib64/xsb-3.8.0/emu/error_xsb.h
/usr/lib64/xsb-3.8.0/emu/export.h
/usr/lib64/xsb-3.8.0/emu/extensions_xsb.h
/usr/lib64/xsb-3.8.0/emu/file_modes_xsb.h
/usr/lib64/xsb-3.8.0/emu/findall.h
/usr/lib64/xsb-3.8.0/emu/flag_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/flags_xsb.h
/usr/lib64/xsb-3.8.0/emu/function.h
/usr/lib64/xsb-3.8.0/emu/gc_copy.h
/usr/lib64/xsb-3.8.0/emu/gc_mark.h
/usr/lib64/xsb-3.8.0/emu/gc_print.h
/usr/lib64/xsb-3.8.0/emu/gc_profile.h
/usr/lib64/xsb-3.8.0/emu/gc_slide.h
/usr/lib64/xsb-3.8.0/emu/hash_xsb.h
/usr/lib64/xsb-3.8.0/emu/hashtable.h
/usr/lib64/xsb-3.8.0/emu/hashtable_itr.h
/usr/lib64/xsb-3.8.0/emu/hashtable_private.h
/usr/lib64/xsb-3.8.0/emu/hashtable_xsb.h
/usr/lib64/xsb-3.8.0/emu/heap_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/heap_xsb.h
/usr/lib64/xsb-3.8.0/emu/incr_xsb.h
/usr/lib64/xsb-3.8.0/emu/incr_xsb_defs.h
/usr/lib64/xsb-3.8.0/emu/inst_xsb.h
/usr/lib64/xsb-3.8.0/emu/interprolog_xsb.h
/usr/lib64/xsb-3.8.0/emu/interprolog_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/io_builtins_xsb.h
/usr/lib64/xsb-3.8.0/emu/io_builtins_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/io_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/loader_xsb.h
/usr/lib64/xsb-3.8.0/emu/memory_defs.h
/usr/lib64/xsb-3.8.0/emu/memory_xsb.h
/usr/lib64/xsb-3.8.0/emu/odbc_def_xsb.h
/usr/lib64/xsb-3.8.0/emu/odbc_string.h
/usr/lib64/xsb-3.8.0/emu/odbc_xsb.h
/usr/lib64/xsb-3.8.0/emu/odbc_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/oracle_xsb.h
/usr/lib64/xsb-3.8.0/emu/oracle_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/orastuff.h
/usr/lib64/xsb-3.8.0/emu/orient_xsb.h
/usr/lib64/xsb-3.8.0/emu/psc_defs.h
/usr/lib64/xsb-3.8.0/emu/psc_xsb.h
/usr/lib64/xsb-3.8.0/emu/ptoc_tag_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/random_xsb.h
/usr/lib64/xsb-3.8.0/emu/realloc.h
/usr/lib64/xsb-3.8.0/emu/register.h
/usr/lib64/xsb-3.8.0/emu/remove_unf.h
/usr/lib64/xsb-3.8.0/emu/residual.h
/usr/lib64/xsb-3.8.0/emu/rw_lock.h
/usr/lib64/xsb-3.8.0/emu/scc_xsb.h
/usr/lib64/xsb-3.8.0/emu/schedrev_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/setjmp_xsb.h
/usr/lib64/xsb-3.8.0/emu/sha1.h
/usr/lib64/xsb-3.8.0/emu/sig_xsb.h
/usr/lib64/xsb-3.8.0/emu/slgdelay.h
/usr/lib64/xsb-3.8.0/emu/slginsts_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/socket_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/socket_xsb.h
/usr/lib64/xsb-3.8.0/emu/sp_unify_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/std_cases_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/std_pred_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/storage_xsb.h
/usr/lib64/xsb-3.8.0/emu/storage_xsb_defs.h
/usr/lib64/xsb-3.8.0/emu/string_xsb.h
/usr/lib64/xsb-3.8.0/emu/struct_intern.h
/usr/lib64/xsb-3.8.0/emu/struct_manager.h
/usr/lib64/xsb-3.8.0/emu/sub_tables_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/subinst.h
/usr/lib64/xsb-3.8.0/emu/subp.h
/usr/lib64/xsb-3.8.0/emu/sw_envs.h
/usr/lib64/xsb-3.8.0/emu/sys_include.h
/usr/lib64/xsb-3.8.0/emu/syscall_xsb.h
/usr/lib64/xsb-3.8.0/emu/system_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/system_xsb.h
/usr/lib64/xsb-3.8.0/emu/tab_structs.h
/usr/lib64/xsb-3.8.0/emu/table_inspection_defs.h
/usr/lib64/xsb-3.8.0/emu/table_stats.h
/usr/lib64/xsb-3.8.0/emu/table_status_defs.h
/usr/lib64/xsb-3.8.0/emu/tables.h
/usr/lib64/xsb-3.8.0/emu/tables_i.h
/usr/lib64/xsb-3.8.0/emu/tc_insts_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/term_psc_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/thread_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/thread_xsb.h
/usr/lib64/xsb-3.8.0/emu/timer_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/timer_xsb.h
/usr/lib64/xsb-3.8.0/emu/token_defs_xsb.h
/usr/lib64/xsb-3.8.0/emu/token_xsb.h
/usr/lib64/xsb-3.8.0/emu/tr_code_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/tr_delay.h
/usr/lib64/xsb-3.8.0/emu/tr_utils.h
/usr/lib64/xsb-3.8.0/emu/trace_xsb.h
/usr/lib64/xsb-3.8.0/emu/trassert.h
/usr/lib64/xsb-3.8.0/emu/trie_defs.h
/usr/lib64/xsb-3.8.0/emu/trie_internals.h
/usr/lib64/xsb-3.8.0/emu/tries.h
/usr/lib64/xsb-3.8.0/emu/tst_aux.h
/usr/lib64/xsb-3.8.0/emu/tst_utils.h
/usr/lib64/xsb-3.8.0/emu/ubi_BinTree.h
/usr/lib64/xsb-3.8.0/emu/ubi_SplayTree.h
/usr/lib64/xsb-3.8.0/emu/unify_xsb.h
/usr/lib64/xsb-3.8.0/emu/url_encode.h
/usr/lib64/xsb-3.8.0/emu/usurp.h
/usr/lib64/xsb-3.8.0/emu/varstring_xsb.h
/usr/lib64/xsb-3.8.0/emu/wfs_xsb_i.h
/usr/lib64/xsb-3.8.0/emu/wind2unix.h
/usr/lib64/xsb-3.8.0/emu/windows_stdint.h
/usr/lib64/xsb-3.8.0/emu/wsipx.h
/usr/lib64/xsb-3.8.0/emu/xsb_inst_list.h
/usr/lib64/xsb-3.8.0/emu/xsb_time.h
/usr/lib64/xsb-3.8.0/etc
/usr/lib64/xsb-3.8.0/etc/copying.msg
/usr/lib64/xsb-3.8.0/etc/help.msg
/usr/lib64/xsb-3.8.0/etc/images
/usr/lib64/xsb-3.8.0/etc/images/xsb-logo.eps
/usr/lib64/xsb-3.8.0/etc/images/xsb-logo.ico
/usr/lib64/xsb-3.8.0/etc/prolog.el
/usr/lib64/xsb-3.8.0/lib
/usr/lib64/xsb-3.8.0/lib/aggregs.xwam
/usr/lib64/xsb-3.8.0/lib/array.xwam
/usr/lib64/xsb-3.8.0/lib/assoc_xsb.xwam
/usr/lib64/xsb-3.8.0/lib/base64.xwam
/usr/lib64/xsb-3.8.0/lib/basic_props.xwam
/usr/lib64/xsb-3.8.0/lib/constraintLib.xwam
/usr/lib64/xsb-3.8.0/lib/directry.xwam
/usr/lib64/xsb-3.8.0/lib/dump_table.xwam
/usr/lib64/xsb-3.8.0/lib/foreign.xwam
/usr/lib64/xsb-3.8.0/lib/format.xwam
/usr/lib64/xsb-3.8.0/lib/globalvar.xwam
/usr/lib64/xsb-3.8.0/lib/intern.xwam
/usr/lib64/xsb-3.8.0/lib/justifyLP.xwam
/usr/lib64/xsb-3.8.0/lib/lists.xwam
/usr/lib64/xsb-3.8.0/lib/mttestutils.xwam
/usr/lib64/xsb-3.8.0/lib/mutex_xsb.xwam
/usr/lib64/xsb-3.8.0/lib/obsolete.xwam
/usr/lib64/xsb-3.8.0/lib/odbc_call.xwam
/usr/lib64/xsb-3.8.0/lib/ora_call.xwam
/usr/lib64/xsb-3.8.0/lib/ordsets.xwam
/usr/lib64/xsb-3.8.0/lib/packaging.xwam
/usr/lib64/xsb-3.8.0/lib/pairlist.xwam
/usr/lib64/xsb-3.8.0/lib/pretty_print.xwam
/usr/lib64/xsb-3.8.0/lib/proc_files.xwam
/usr/lib64/xsb-3.8.0/lib/prolog_db.xwam
/usr/lib64/xsb-3.8.0/lib/prolog_db_doc
/usr/lib64/xsb-3.8.0/lib/prolog_db_doc/prolog_db.pdf
/usr/lib64/xsb-3.8.0/lib/prolog_db_doc/prolog_db_format.P
/usr/lib64/xsb-3.8.0/lib/random.xwam
/usr/lib64/xsb-3.8.0/lib/range_trees.xwam
/usr/lib64/xsb-3.8.0/lib/scrptutl.xwam
/usr/lib64/xsb-3.8.0/lib/socket.xwam
/usr/lib64/xsb-3.8.0/lib/storage.xwam
/usr/lib64/xsb-3.8.0/lib/swi.xwam
/usr/lib64/xsb-3.8.0/lib/ugraphs.xwam
/usr/lib64/xsb-3.8.0/lib/wrapping.xwam
/usr/lib64/xsb-3.8.0/lib/xnmr.xwam
/usr/lib64/xsb-3.8.0/lib/xsb_ciao.xwam
/usr/lib64/xsb-3.8.0/lib/xsb_lint_impexp.xwam
/usr/lib64/xsb-3.8.0/lib/xsb_profiling.xwam
/usr/lib64/xsb-3.8.0/packages
/usr/lib64/xsb-3.8.0/packages/*.xwam
/usr/lib64/xsb-3.8.0/packages/CDF
/usr/lib64/xsb-3.8.0/packages/CDF/doc
/usr/lib64/xsb-3.8.0/packages/CDF/doc/README.cdf
/usr/lib64/xsb-3.8.0/packages/CDF/doc/main.P
/usr/lib64/xsb-3.8.0/packages/CDF/doc/oms_format.P
/usr/lib64/xsb-3.8.0/packages/CDF/my_getindexes.sp
/usr/lib64/xsb-3.8.0/packages/CDF/newpp.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_cdf.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_components.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_config.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_constraints.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_db_storage.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_db_updatable.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_diffs.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_exceptions.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_filters.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_init_oms.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_io.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_oblivion.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_odbc.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_q_annot.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_queries.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_rules.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_utilities.P
/usr/lib64/xsb-3.8.0/packages/CDF/oms_utils.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/oms_daml_names.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/oms_dump_rdf.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/oms_rdf.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/oms_trans_triples.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/xml.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/xml_acquisition.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/xml_diagnosis.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/xml_generation.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/xml_pp.P
/usr/lib64/xsb-3.8.0/packages/CDF/rdf/xml_utilities.P
/usr/lib64/xsb-3.8.0/packages/CDF/test
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext1.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext10.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext2.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext3.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext4.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext5.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext6.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext8.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/ext9.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/gentest.sh
/usr/lib64/xsb-3.8.0/packages/CDF/test/get_diff.sh
/usr/lib64/xsb-3.8.0/packages/CDF/test/get_internal_diff.sh
/usr/lib64/xsb-3.8.0/packages/CDF/test/oms_test.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/test.sh
/usr/lib64/xsb-3.8.0/packages/CDF/test/test1.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/test2.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/test2dir
/usr/lib64/xsb-3.8.0/packages/CDF/test/test2dir/subset.prev
/usr/lib64/xsb-3.8.0/packages/CDF/test/test3.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/test3dir
/usr/lib64/xsb-3.8.0/packages/CDF/test/test3dir/subset.prev
/usr/lib64/xsb-3.8.0/packages/CDF/test/test4.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/test5.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/test5dir
/usr/lib64/xsb-3.8.0/packages/CDF/test/test5dir/subset.prev
/usr/lib64/xsb-3.8.0/packages/CDF/test/test6.P
/usr/lib64/xsb-3.8.0/packages/CDF/test/test6dir
/usr/lib64/xsb-3.8.0/packages/CDF/test/test6dir/subset.prev
/usr/lib64/xsb-3.8.0/packages/CDF/test/test8.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/bench.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/cur_tests.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/gctest1.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/meta.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/meta_io.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/metaback.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/metafront.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/testing.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/testing_capi.P
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/tp_debug.df
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/tp_debug.h
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/tp_debug.none
/usr/lib64/xsb-3.8.0/packages/CDF/theoremprover/tp_utils.P
/usr/lib64/xsb-3.8.0/packages/CDF/todo
/usr/lib64/xsb-3.8.0/packages/CDF/xsb_logger.P
/usr/lib64/xsb-3.8.0/packages/altCDF
/usr/lib64/xsb-3.8.0/packages/altCDF/Makefile
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf/cdf_intensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_checks.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_comps_share.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_concurrency.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_config.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_definitions.h
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_exceptions.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_init.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_init_cdf.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_io.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_oblivion.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdf_utilities.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdfpt
/usr/lib64/xsb-3.8.0/packages/altCDF/cdfpt/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdfpt/cdf_intensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/cdftp_cdfsc.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/cdftp_chkCon.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/cdftp_getObj.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/cdftp_meta.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/cdftp_preproc.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/cdftp_rules.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/compile.sh
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/curtest
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/curtest/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/curtest/cur_tests.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/curtest/testing.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/ontologies
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/ontologies/ont1
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/ontologies/ont1/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/ontologies/ont1/cdf_intensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/cdftp/tp_utils.P
/usr/lib64/xsb-3.8.0/packages/altCDF/doc
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/arch.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/chooseFromTerms.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/struct1.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/struct2.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/xjConfirmUser.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/xjPickDirectory.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/xjPickFile.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/Figures/xjShowOptionDialog.eps
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/abstract.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/acknowledgements.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/appendix.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/cdf_init_cdf.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/checks.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/comparisons.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/components.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/concurrency.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/configuration.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/consist.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/database.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/dl.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/ecltree.sty
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/enumerate.sty
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/examples.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/float.sty
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/fullpage.sty
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/graphics.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/impl.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/include.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/includeopt.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/inheritance.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/instances.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/intro.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/longstring.bib
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/manual.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/newaltmodel.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/nondoc.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/predindex.sty
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/product.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/prologCache.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/semantics.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/subfigure.sty
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/tools.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/type0impl.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/type1.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/type1impl.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/update.tex
/usr/lib64/xsb-3.8.0/packages/altCDF/doc/url.sty
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/mknf.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/mknf_chkCon.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/chkCon
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/chkCon/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/chkCon/cdf_intensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/chkCon/rules.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/ex_disj
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/ex_disj/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/ex_disj/cdf_intensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mknf/tests/ex_disj/rules.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest/cdftest1
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest/cdftest1/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest/cdftest1/cdf_intensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest/cdftest1/initialization_file.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest/checktest.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest/comptest.P
/usr/lib64/xsb-3.8.0/packages/altCDF/mytest/ruletest.P
/usr/lib64/xsb-3.8.0/packages/altCDF/newpp.P
/usr/lib64/xsb-3.8.0/packages/altCDF/scripts
/usr/lib64/xsb-3.8.0/packages/altCDF/scripts/cdf_def00.h
/usr/lib64/xsb-3.8.0/packages/altCDF/scripts/cdf_def01.h
/usr/lib64/xsb-3.8.0/packages/altCDF/scripts/cdf_def10.h
/usr/lib64/xsb-3.8.0/packages/altCDF/scripts/cdf_def11.h
/usr/lib64/xsb-3.8.0/packages/altCDF/scripts/cdfconftest.sh
/usr/lib64/xsb-3.8.0/packages/altCDF/tests
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/ce_tests
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/ce_tests/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/ce_tests/cur_tests.P
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/ce_tests/testing.P
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/onto_tests
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/onto_tests/ont1
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/onto_tests/ont1/cdf_extensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/onto_tests/ont1/cdf_intensional.P
/usr/lib64/xsb-3.8.0/packages/altCDF/tests/onto_tests/testont.P
/usr/lib64/xsb-3.8.0/packages/altcdf.P
/usr/lib64/xsb-3.8.0/packages/bounds
/usr/lib64/xsb-3.8.0/packages/bounds/bounds_ops.pl
/usr/lib64/xsb-3.8.0/packages/bounds/clp_events.pl
/usr/lib64/xsb-3.8.0/packages/cdf.P
/usr/lib64/xsb-3.8.0/packages/chr
/usr/lib64/xsb-3.8.0/packages/chr.P
/usr/lib64/xsb-3.8.0/packages/chr/allentable.P
/usr/lib64/xsb-3.8.0/packages/chr/chr_TimeMachine.P
/usr/lib64/xsb-3.8.0/packages/chr/chr_interp.P
/usr/lib64/xsb-3.8.0/packages/chr/chr_pp.P
/usr/lib64/xsb-3.8.0/packages/chr/ctest.P
/usr/lib64/xsb-3.8.0/packages/chr/mdl_TimeMachine.P
/usr/lib64/xsb-3.8.0/packages/chr/time.P
/usr/lib64/xsb-3.8.0/packages/chr/timeConstraints.chr
/usr/lib64/xsb-3.8.0/packages/chr_d
/usr/lib64/xsb-3.8.0/packages/chr_d.P
/usr/lib64/xsb-3.8.0/packages/chr_d/attv_aux.P
/usr/lib64/xsb-3.8.0/packages/chr_d/chr2attv.P
/usr/lib64/xsb-3.8.0/packages/chr_d/flatten_chr.P
/usr/lib64/xsb-3.8.0/packages/chr_d/print_chrd.P
/usr/lib64/xsb-3.8.0/packages/clpqr
/usr/lib64/xsb-3.8.0/packages/clpqr/Makefile
/usr/lib64/xsb-3.8.0/packages/clpqr/bb_r.P
/usr/lib64/xsb-3.8.0/packages/clpqr/bv_q.pl
/usr/lib64/xsb-3.8.0/packages/clpqr/bv_r.P
/usr/lib64/xsb-3.8.0/packages/clpqr/class.pl
/usr/lib64/xsb-3.8.0/packages/clpqr/clpr.pl
/usr/lib64/xsb-3.8.0/packages/clpqr/clpr_make.P
/usr/lib64/xsb-3.8.0/packages/clpqr/dump.pl
/usr/lib64/xsb-3.8.0/packages/clpqr/fourmotz_r.P
/usr/lib64/xsb-3.8.0/packages/clpqr/geler.pl
/usr/lib64/xsb-3.8.0/packages/clpqr/ineq_r.P
/usr/lib64/xsb-3.8.0/packages/clpqr/itf.pl
/usr/lib64/xsb-3.8.0/packages/clpqr/itf_r.P
/usr/lib64/xsb-3.8.0/packages/clpqr/nf_r.P
/usr/lib64/xsb-3.8.0/packages/clpqr/ordering.P
/usr/lib64/xsb-3.8.0/packages/clpqr/project.pl
/usr/lib64/xsb-3.8.0/packages/clpqr/quantum.h
/usr/lib64/xsb-3.8.0/packages/clpqr/redund.P
/usr/lib64/xsb-3.8.0/packages/clpqr/store_r.P
/usr/lib64/xsb-3.8.0/packages/clpr.P
/usr/lib64/xsb-3.8.0/packages/curl
/usr/lib64/xsb-3.8.0/packages/curl.P
/usr/lib64/xsb-3.8.0/packages/curl/Installation_summary
/usr/lib64/xsb-3.8.0/packages/curl/Makefile
/usr/lib64/xsb-3.8.0/packages/curl/Misc
/usr/lib64/xsb-3.8.0/packages/curl/Misc/curl_init-wind.P
/usr/lib64/xsb-3.8.0/packages/curl/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/curl/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/curl/TODO
/usr/lib64/xsb-3.8.0/packages/curl/cc
/usr/lib64/xsb-3.8.0/packages/curl/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/curl/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/curl/cc/README
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin/curl2pl.dll
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin/curl2pl.exp
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin/curl2pl.lib
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin/libcurl.dll
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin/libcurl.lib
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin64
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin64/curl2pl.dll
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin64/curl2pl.exp
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin64/curl2pl.lib
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin64/libcurl.dll
/usr/lib64/xsb-3.8.0/packages/curl/cc/bin64/libcurl.lib
/usr/lib64/xsb-3.8.0/packages/curl/cc/common.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/README
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/curl.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/curlver.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/easy.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/mprintf.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/multi.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/stdcheaders.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/system.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl/typecheck-gcc.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/curl2pl.c
/usr/lib64/xsb-3.8.0/packages/curl/cc/error.c
/usr/lib64/xsb-3.8.0/packages/curl/cc/error.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/error_term.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/load_page.c
/usr/lib64/xsb-3.8.0/packages/curl/cc/load_page.h
/usr/lib64/xsb-3.8.0/packages/curl/cc/nodeprecate.h
/usr/lib64/xsb-3.8.0/packages/curl/config.log
/usr/lib64/xsb-3.8.0/packages/curl/config.status
/usr/lib64/xsb-3.8.0/packages/curl/configure
/usr/lib64/xsb-3.8.0/packages/curl/configure.in
/usr/lib64/xsb-3.8.0/packages/curl/curl_info.P
/usr/lib64/xsb-3.8.0/packages/curl/curl_info.in
/usr/lib64/xsb-3.8.0/packages/curl/curlconfig.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers
/usr/lib64/xsb-3.8.0/packages/dbdrivers.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/driver_manager.H
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/driver_manager.c
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/driver_manager_defs.h
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/nodeprecate.h
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows/driver_manager.dll
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows/driver_manager.exp
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows/driver_manager.lib
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows64
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows64/driver_manager.dll
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows64/driver_manager.exp
/usr/lib64/xsb-3.8.0/packages/dbdrivers/cc/windows64/driver_manager.lib
/usr/lib64/xsb-3.8.0/packages/dbdrivers/db_interface.H
/usr/lib64/xsb-3.8.0/packages/dbdrivers/db_interface.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/Misc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/Misc/mysql_init-wind.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/mysql_driver.c
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/mysql_driver_defs.h
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/windows
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/windows/mysql_driver.exp
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/windows/mysql_driver.lib
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/windows64
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/windows64/mysql_driver.dll
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/windows64/mysql_driver.exp
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/cc/windows64/mysql_driver.lib
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/configure
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/configure.in
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/mysql_driver_config.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysql/mysql_init.in
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/Misc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/Misc/mysqlembedded_init-wind.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/cc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/cc/mysqlembedded_driver.c
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/cc/mysqlembedded_driver_defs.h
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/configure
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/configure.in
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/mysqlembedded_driver_config.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/mysqlembedded/mysqlembedded_init.in
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/Misc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/Misc/odbc_init-wind.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/odbc_driver.c
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/odbc_driver_defs.h
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows/odbc_driver.dll
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows/odbc_driver.exp
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows/odbc_driver.lib
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows64
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows64/odbc_driver.dll
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows64/odbc_driver.exp
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/cc/windows64/odbc_driver.lib
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/configure
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/configure.in
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/odbc_driver_config.P
/usr/lib64/xsb-3.8.0/packages/dbdrivers/odbc/odbc_init.in
/usr/lib64/xsb-3.8.0/packages/dbdrivers/run_configure_scripts
/usr/lib64/xsb-3.8.0/packages/gap
/usr/lib64/xsb-3.8.0/packages/gap.P
/usr/lib64/xsb-3.8.0/packages/gap.xwam
/usr/lib64/xsb-3.8.0/packages/gap/Makefile
/usr/lib64/xsb-3.8.0/packages/gap/README
/usr/lib64/xsb-3.8.0/packages/gap/gapaux.P
/usr/lib64/xsb-3.8.0/packages/gap/gapexamps.P
/usr/lib64/xsb-3.8.0/packages/gap/gapmeta.P
/usr/lib64/xsb-3.8.0/packages/gap/gapmeta.xwam
/usr/lib64/xsb-3.8.0/packages/justify
/usr/lib64/xsb-3.8.0/packages/justify.P
/usr/lib64/xsb-3.8.0/packages/justify/Makefile
/usr/lib64/xsb-3.8.0/packages/justify/README
/usr/lib64/xsb-3.8.0/packages/justify/evid.P
/usr/lib64/xsb-3.8.0/packages/justify/jxm.H
/usr/lib64/xsb-3.8.0/packages/justify/jxm.P
/usr/lib64/xsb-3.8.0/packages/libwww
/usr/lib64/xsb-3.8.0/packages/libwww.P
/usr/lib64/xsb-3.8.0/packages/libwww/Makefile
/usr/lib64/xsb-3.8.0/packages/libwww/cc
/usr/lib64/xsb-3.8.0/packages/libwww/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_parse.h
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_parse_html.c
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_parse_html.h
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_parse_rdf.c
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_parse_rdf.h
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_parse_xml.c
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_parse_xml.h
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_req.h
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_request.c
/usr/lib64/xsb-3.8.0/packages/libwww/cc/libwww_util.h
/usr/lib64/xsb-3.8.0/packages/libwww/configure
/usr/lib64/xsb-3.8.0/packages/libwww/configure.in
/usr/lib64/xsb-3.8.0/packages/libwww/http_liberr.P
/usr/lib64/xsb-3.8.0/packages/libwww/libwww_init.in
/usr/lib64/xsb-3.8.0/packages/libwww/libwwwconfig.P
/usr/lib64/xsb-3.8.0/packages/pcre
/usr/lib64/xsb-3.8.0/packages/pcre.P
/usr/lib64/xsb-3.8.0/packages/pcre/Installation_summary
/usr/lib64/xsb-3.8.0/packages/pcre/Makefile
/usr/lib64/xsb-3.8.0/packages/pcre/Misc
/usr/lib64/xsb-3.8.0/packages/pcre/Misc/pcre_init-wind.P
/usr/lib64/xsb-3.8.0/packages/pcre/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/pcre/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/pcre/cc
/usr/lib64/xsb-3.8.0/packages/pcre/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/pcre/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin/pcre.def
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin/pcre.dll
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin/pcre.lib
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin/pcre4pl.dll
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin/pcre4pl.exp
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin/pcre4pl.lib
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcre.dll
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcre.exp
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcre.lib
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcre4pl.dll
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcre4pl.exp
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcre4pl.lib
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcrecpp.dll
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcrecpp.exp
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcrecpp.lib
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcreposix.dll
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcreposix.exp
/usr/lib64/xsb-3.8.0/packages/pcre/cc/bin64/pcreposix.lib
/usr/lib64/xsb-3.8.0/packages/pcre/cc/deprecation.h
/usr/lib64/xsb-3.8.0/packages/pcre/cc/pcre
/usr/lib64/xsb-3.8.0/packages/pcre/cc/pcre/pcre.h
/usr/lib64/xsb-3.8.0/packages/pcre/cc/pcre/pcreposix.h
/usr/lib64/xsb-3.8.0/packages/pcre/cc/pcre4pl.c
/usr/lib64/xsb-3.8.0/packages/pcre/config.log
/usr/lib64/xsb-3.8.0/packages/pcre/config.status
/usr/lib64/xsb-3.8.0/packages/pcre/configure
/usr/lib64/xsb-3.8.0/packages/pcre/configure.in
/usr/lib64/xsb-3.8.0/packages/pcre/pcre_info.P
/usr/lib64/xsb-3.8.0/packages/pcre/pcre_info.in
/usr/lib64/xsb-3.8.0/packages/pcre/pcreconfig.P
/usr/lib64/xsb-3.8.0/packages/perlmatch
/usr/lib64/xsb-3.8.0/packages/perlmatch.P
/usr/lib64/xsb-3.8.0/packages/perlmatch/Makefile
/usr/lib64/xsb-3.8.0/packages/perlmatch/cc
/usr/lib64/xsb-3.8.0/packages/perlmatch/cc/interface.h
/usr/lib64/xsb-3.8.0/packages/perlmatch/cc/perlpattern.c
/usr/lib64/xsb-3.8.0/packages/perlmatch/cc/xsbpattern.c
/usr/lib64/xsb-3.8.0/packages/perlmatch/plmchconfig.P
/usr/lib64/xsb-3.8.0/packages/perlmatch/plmchshell.P
/usr/lib64/xsb-3.8.0/packages/persistent_tables
/usr/lib64/xsb-3.8.0/packages/persistent_tables/doc
/usr/lib64/xsb-3.8.0/packages/persistent_tables/doc/README
/usr/lib64/xsb-3.8.0/packages/persistent_tables/doc/persistent_tables.pdf
/usr/lib64/xsb-3.8.0/packages/persistent_tables/doc/pt_format.P
/usr/lib64/xsb-3.8.0/packages/persistent_tables/examples
/usr/lib64/xsb-3.8.0/packages/persistent_tables/examples/persistent_table_test1.P
/usr/lib64/xsb-3.8.0/packages/persistent_tables/persistent_tables.P
/usr/lib64/xsb-3.8.0/packages/persistent_tables/pt_grouper.P
/usr/lib64/xsb-3.8.0/packages/persistent_tables/pt_utilities.P
/usr/lib64/xsb-3.8.0/packages/persistenttables.P
/usr/lib64/xsb-3.8.0/packages/pita
/usr/lib64/xsb-3.8.0/packages/pita.P
/usr/lib64/xsb-3.8.0/packages/pita/configure
/usr/lib64/xsb-3.8.0/packages/pita/configure.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/Doxyfile.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/LICENSE
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/Makefile.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/Makefile.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/README
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/RELEASE.NOTES
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/aclocal.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/ar-lib
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/compile
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/config.guess
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/config.sub
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/depcomp
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/install-sh
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/ltmain.sh
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/missing
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/build-aux/tap-driver.sh
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/config.h.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/configure
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/configure.ac
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/cuddObj.cc
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/cuddObj.hh
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/multi.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/test.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/test_obj.test.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/testmulti.cc
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cplusplus/testobj.cc
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cudd.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAPI.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAddAbs.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAddApply.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAddFind.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAddInv.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAddIte.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAddNeg.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAddWalsh.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAndAbs.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddAnneal.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddApa.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddApprox.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddBddAbs.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddBddCorr.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddBddIte.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddBridge.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddCache.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddCheck.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddClip.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddCof.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddCompose.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddDecomp.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddEssent.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddExact.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddExport.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddGenCof.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddGenetic.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddGroup.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddHarwell.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddInit.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddInt.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddInteract.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddLCache.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddLevelQ.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddLinear.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddLiteral.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddMatMult.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddPriority.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddRead.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddRef.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddReorder.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddSat.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddSign.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddSolve.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddSplit.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddSubsetHB.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddSubsetSP.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddSymmetry.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddTable.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddUtil.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddWindow.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddCount.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddFuncs.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddGroup.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddIsop.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddLin.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddMisc.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddPort.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddReord.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddSetop.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddSymm.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/cuddZddUtil.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/extra.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/r7x8.1.mat
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/r7x8.1.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/test_cudd.test.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/testcudd.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/cudd/testextra.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/README.dddmp
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/README.testdddmp
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/RELEASE_NOTES
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmp.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpBinary.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpConvert.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpDbg.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpInt.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpLoad.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpLoadCnf.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpNodeAdd.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpNodeBdd.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpNodeCnf.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreAdd.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreBdd.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreCnf.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreMisc.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/dddmpUtil.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/cmdIndex.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/commands.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/credit.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmp-2.0-A4.ps
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmp-2.0-Letter.ps
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllAbs.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllByFile.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllByFunc.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllDet.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllFile.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpDesc.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpDoc.txt
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpExt.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpExtAbs.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpExtDet.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpTitle.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/packages.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/doc/pkgIndex.html
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/0.add
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/0.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/0or1.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/1.add
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/1.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/2.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/2and3.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/3.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis1
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis2
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis3
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.cnf
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.cnf.bis
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.max1
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4.max2
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4bis.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/4xor5.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/5.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/composeids.txt
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/one.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/s27RP1.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd.bis
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/s27deltaDddmp2.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/test1.sh.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/test2.sh.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/test3.sh.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/test4.sh.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/test5.sh.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/test6.sh.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/test7.sh.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/varauxids.ord
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/varnames.ord
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/exp/zero.bdd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/test_dddmp.test.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/dddmp/testdddmp.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/doc
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/doc/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/doc/cudd.tex.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/doc/phase.pdf
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/epd
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/epd/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/epd/epd.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/epd/epd.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/epd/epdInt.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/groups.dox
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4/libtool.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4/ltoptions.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4/ltsugar.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4/ltversion.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4/lt~obsolete.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4/modern_cxx.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/m4/w32.m4
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/mtr.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/mtrBasic.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/mtrGroup.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/mtrInt.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/test.groups
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/test.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/test_mtr.test.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/mtr/testmtr.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/C17.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/C17.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/C880.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/C880.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/README
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/adj49.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/adj49.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/bnet.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/bnet.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/chkMterm.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/closest.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/closest.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ham01.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ham01.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/main.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/miniFirst.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/miniFirst.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/miniSecond.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/mult32a.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/mult32a.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/nanotrav.1
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ntr.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ntr.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ntrBddTest.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ntrHeap.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ntrMflow.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ntrShort.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/ntrZddTest.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/rcn25.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/rcn25.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s27.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s27.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s27b.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s27b.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s27c.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s27c.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s382.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s382.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s641.blif
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/s641.out
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/nanotrav/test_ntrv.test.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/st
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/st/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/st/st.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/st/st.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/st/test_st.test.in
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/st/testst.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/Included.am
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/cpu_stats.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/cpu_time.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/cstringstream.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/cstringstream.h
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/datalimit.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/pathsearch.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/pipefork.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/prtime.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/safe_mem.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/strsav.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/texpand.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/ucbqsort.c
/usr/lib64/xsb-3.8.0/packages/pita/cudd-3.0.0/util/util.h
/usr/lib64/xsb-3.8.0/packages/pita/examples
/usr/lib64/xsb-3.8.0/packages/pita/examples/alarm.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/coin.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/coin2.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/dice.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/ex.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/exist.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/hiv.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/hmm.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/light.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/mendel.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/path.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/path_loop_chk.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/threesideddice.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/throws.cpl
/usr/lib64/xsb-3.8.0/packages/pita/examples/trigger.cpl
/usr/lib64/xsb-3.8.0/packages/pita/pita_int.P.in
/usr/lib64/xsb-3.8.0/packages/pita/pita_lib.H.in
/usr/lib64/xsb-3.8.0/packages/pita/pita_lib.c
/usr/lib64/xsb-3.8.0/packages/pita/testpita.P
/usr/lib64/xsb-3.8.0/packages/pita/testpitacount.P
/usr/lib64/xsb-3.8.0/packages/pita/testpitaindexc.P
/usr/lib64/xsb-3.8.0/packages/pita/testpitaposs.P
/usr/lib64/xsb-3.8.0/packages/pita/testpitavitind.P
/usr/lib64/xsb-3.8.0/packages/pitacount.P
/usr/lib64/xsb-3.8.0/packages/pitaindexc.P
/usr/lib64/xsb-3.8.0/packages/pitaposs.P
/usr/lib64/xsb-3.8.0/packages/pitavitind.P
/usr/lib64/xsb-3.8.0/packages/rdf
/usr/lib64/xsb-3.8.0/packages/rdf.P
/usr/lib64/xsb-3.8.0/packages/rdf/option.P
/usr/lib64/xsb-3.8.0/packages/rdf/rdf_parser.P
/usr/lib64/xsb-3.8.0/packages/rdf/rdf_term_exp.P
/usr/lib64/xsb-3.8.0/packages/rdf/rdf_triple.P
/usr/lib64/xsb-3.8.0/packages/rdf/rdfconfig.P
/usr/lib64/xsb-3.8.0/packages/rdf/rewrite.P
/usr/lib64/xsb-3.8.0/packages/regmatch
/usr/lib64/xsb-3.8.0/packages/regmatch.P
/usr/lib64/xsb-3.8.0/packages/regmatch.xwam
/usr/lib64/xsb-3.8.0/packages/regmatch/Makefile
/usr/lib64/xsb-3.8.0/packages/regmatch/cc
/usr/lib64/xsb-3.8.0/packages/regmatch/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/regmatch/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/regmatch/cc/xsb_re_match.H
/usr/lib64/xsb-3.8.0/packages/regmatch/cc/xsb_re_match.c
/usr/lib64/xsb-3.8.0/packages/regmatch/regmtchconfig.P
/usr/lib64/xsb-3.8.0/packages/regmatch/regmtchconfig.xwam
/usr/lib64/xsb-3.8.0/packages/sgml
/usr/lib64/xsb-3.8.0/packages/sgml.P
/usr/lib64/xsb-3.8.0/packages/sgml/Makefile
/usr/lib64/xsb-3.8.0/packages/sgml/TODO
/usr/lib64/xsb-3.8.0/packages/sgml/cc
/usr/lib64/xsb-3.8.0/packages/sgml/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/sgml/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/sgml/cc/basic_defs.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin/sgml2pl.dll
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin/sgml2pl.exp
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin/sgml2pl.lib
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin64
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin64/sgml2pl.dll
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin64/sgml2pl.exp
/usr/lib64/xsb-3.8.0/packages/sgml/cc/bin64/sgml2pl.lib
/usr/lib64/xsb-3.8.0/packages/sgml/cc/catalog.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/catalog.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/charmap.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/common.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/deprecation.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/dtd
/usr/lib64/xsb-3.8.0/packages/sgml/cc/dtd.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/dtd/HTML4.dtd
/usr/lib64/xsb-3.8.0/packages/sgml/cc/dtd/xhtml1-transitional.dtd
/usr/lib64/xsb-3.8.0/packages/sgml/cc/error.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/error.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/error_term.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/fetch_file.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/model.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/model.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/parser.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/parser.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/quote.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/sgml2pl.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/sgmldefs.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/sgmlutil.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/sgmlutil.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/socketcall.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/utf8.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/utf8.h
/usr/lib64/xsb-3.8.0/packages/sgml/cc/xmlns.c
/usr/lib64/xsb-3.8.0/packages/sgml/cc/xmlns.h
/usr/lib64/xsb-3.8.0/packages/sgml/sgmlconfig.P
/usr/lib64/xsb-3.8.0/packages/slx
/usr/lib64/xsb-3.8.0/packages/slx.P
/usr/lib64/xsb-3.8.0/packages/slx.xwam
/usr/lib64/xsb-3.8.0/packages/slx/Makefile
/usr/lib64/xsb-3.8.0/packages/slx/slxshell.P
/usr/lib64/xsb-3.8.0/packages/slx/slxshell.xwam
/usr/lib64/xsb-3.8.0/packages/viewsys
/usr/lib64/xsb-3.8.0/packages/viewsys.P
/usr/lib64/xsb-3.8.0/packages/viewsys/cat_script.sh
/usr/lib64/xsb-3.8.0/packages/viewsys/doc
/usr/lib64/xsb-3.8.0/packages/viewsys/doc/README
/usr/lib64/xsb-3.8.0/packages/viewsys/doc/view_sys.pdf
/usr/lib64/xsb-3.8.0/packages/viewsys/doc/viewsys_format.P
/usr/lib64/xsb-3.8.0/packages/viewsys/examples
/usr/lib64/xsb-3.8.0/packages/viewsys/examples/viewsys_toy
/usr/lib64/xsb-3.8.0/packages/viewsys/examples/viewsys_toy/README
/usr/lib64/xsb-3.8.0/packages/viewsys/examples/viewsys_toy/dfile.P
/usr/lib64/xsb-3.8.0/packages/viewsys/examples/viewsys_toy/efile.P
/usr/lib64/xsb-3.8.0/packages/viewsys/examples/viewsys_toy/viewsys_view_info.P
/usr/lib64/xsb-3.8.0/packages/viewsys/view_sys.P
/usr/lib64/xsb-3.8.0/packages/w4
/usr/lib64/xsb-3.8.0/packages/w4/builtins.P
/usr/lib64/xsb-3.8.0/packages/w4/example.G
/usr/lib64/xsb-3.8.0/packages/w4/example.P
/usr/lib64/xsb-3.8.0/packages/w4/example.txt
/usr/lib64/xsb-3.8.0/packages/w4/gwfsxpengine.P
/usr/lib64/xsb-3.8.0/packages/w4/index.htm
/usr/lib64/xsb-3.8.0/packages/w4/index2.htm
/usr/lib64/xsb-3.8.0/packages/w4/iostream.P
/usr/lib64/xsb-3.8.0/packages/w4/iri.P
/usr/lib64/xsb-3.8.0/packages/w4/iri.htm
/usr/lib64/xsb-3.8.0/packages/w4/iriparse.G
/usr/lib64/xsb-3.8.0/packages/w4/iriparse.P
/usr/lib64/xsb-3.8.0/packages/w4/lookupdcg.P
/usr/lib64/xsb-3.8.0/packages/w4/lookupdcg.htm
/usr/lib64/xsb-3.8.0/packages/w4/parserexp.P
/usr/lib64/xsb-3.8.0/packages/w4/predparserint.P
/usr/lib64/xsb-3.8.0/packages/w4/prologread.P
/usr/lib64/xsb-3.8.0/packages/w4/prologwrite.P
/usr/lib64/xsb-3.8.0/packages/w4/readgram.P
/usr/lib64/xsb-3.8.0/packages/w4/rulebase.P
/usr/lib64/xsb-3.8.0/packages/w4/ruleml.P
/usr/lib64/xsb-3.8.0/packages/w4/rulemlindex.htm
/usr/lib64/xsb-3.8.0/packages/w4/rulemlread.P
/usr/lib64/xsb-3.8.0/packages/w4/rulemlwrite.P
/usr/lib64/xsb-3.8.0/packages/w4/taxonomy.P
/usr/lib64/xsb-3.8.0/packages/w4/taxonomy.ruleml
/usr/lib64/xsb-3.8.0/packages/w4/testiri.P
/usr/lib64/xsb-3.8.0/packages/w4/unused.G
/usr/lib64/xsb-3.8.0/packages/w4/uri.P
/usr/lib64/xsb-3.8.0/packages/w4/utf.P
/usr/lib64/xsb-3.8.0/packages/w4/utilities.P
/usr/lib64/xsb-3.8.0/packages/w4/w4small.GIF
/usr/lib64/xsb-3.8.0/packages/w4/xml.P
/usr/lib64/xsb-3.8.0/packages/w4/xml2termns.P
/usr/lib64/xsb-3.8.0/packages/w4/xmlcanonicalization.P
/usr/lib64/xsb-3.8.0/packages/w4/xmlchars.G
/usr/lib64/xsb-3.8.0/packages/w4/xmlchars11.G
/usr/lib64/xsb-3.8.0/packages/w4/xmlcommon.G
/usr/lib64/xsb-3.8.0/packages/w4/xmldom.H
/usr/lib64/xsb-3.8.0/packages/w4/xmldom.P
/usr/lib64/xsb-3.8.0/packages/w4/xmldom.htm
/usr/lib64/xsb-3.8.0/packages/w4/xmldtd.G
/usr/lib64/xsb-3.8.0/packages/w4/xmlparser.G
/usr/lib64/xsb-3.8.0/packages/w4/xmlparser.H
/usr/lib64/xsb-3.8.0/packages/w4/xmlparser.P
/usr/lib64/xsb-3.8.0/packages/wildmatch
/usr/lib64/xsb-3.8.0/packages/wildmatch.P
/usr/lib64/xsb-3.8.0/packages/wildmatch.xwam
/usr/lib64/xsb-3.8.0/packages/wildmatch/Makefile
/usr/lib64/xsb-3.8.0/packages/wildmatch/cc
/usr/lib64/xsb-3.8.0/packages/wildmatch/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/wildmatch/cc/xsb_wildmatch.H
/usr/lib64/xsb-3.8.0/packages/wildmatch/cc/xsb_wildmatch.c
/usr/lib64/xsb-3.8.0/packages/wildmatch/wldmtchconfig.P
/usr/lib64/xsb-3.8.0/packages/wildmatch/wldmtchconfig.xwam
/usr/lib64/xsb-3.8.0/packages/xasp
/usr/lib64/xsb-3.8.0/packages/xasp.P
/usr/lib64/xsb-3.8.0/packages/xasp/README.Win32
/usr/lib64/xsb-3.8.0/packages/xasp/doc
/usr/lib64/xsb-3.8.0/packages/xasp/doc/LICENSE
/usr/lib64/xsb-3.8.0/packages/xasp/doc/README
/usr/lib64/xsb-3.8.0/packages/xasp/doc/main.P
/usr/lib64/xsb-3.8.0/packages/xasp/doc/xasp_format.P
/usr/lib64/xsb-3.8.0/packages/xasp/doc/xnmr.doc
/usr/lib64/xsb-3.8.0/packages/xasp/intf_examples
/usr/lib64/xsb-3.8.0/packages/xasp/intf_examples/cook_ex.P
/usr/lib64/xsb-3.8.0/packages/xasp/intf_examples/cooked_choice.P
/usr/lib64/xsb-3.8.0/packages/xasp/intf_examples/exwfs.P
/usr/lib64/xsb-3.8.0/packages/xasp/intf_examples/lowlevel_ex.H
/usr/lib64/xsb-3.8.0/packages/xasp/intf_examples/lowlevel_ex.P
/usr/lib64/xsb-3.8.0/packages/xasp/intf_examples/rawex.P
/usr/lib64/xsb-3.8.0/packages/xasp/makefiles
/usr/lib64/xsb-3.8.0/packages/xasp/makefiles/smoMakefile.OSX-10.3
/usr/lib64/xsb-3.8.0/packages/xasp/makefiles/smoMakefile.OSX-10.4
/usr/lib64/xsb-3.8.0/packages/xasp/makelinks.sh
/usr/lib64/xsb-3.8.0/packages/xasp/patch-smodels-2.27
/usr/lib64/xsb-3.8.0/packages/xasp/patch-smodels-2.31
/usr/lib64/xsb-3.8.0/packages/xasp/prologMake.P
/usr/lib64/xsb-3.8.0/packages/xasp/sm_clause_store.P
/usr/lib64/xsb-3.8.0/packages/xasp/sm_int.H
/usr/lib64/xsb-3.8.0/packages/xasp/sm_int.P
/usr/lib64/xsb-3.8.0/packages/xasp/smodels
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/CHANGES
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/COPYING
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/Makefile
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/Makefile.osx
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/api.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/api.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/atomrule.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/atomrule.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/dcl.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/dcl.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/defines.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/denant.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/improve.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/list.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/list.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/main.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/print.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/program.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/program.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/queue.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/queue.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/read.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/read.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/restart.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/restart.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/smodels.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/smodels.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/stable.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/stable.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/stack.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/stack.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/timer.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/timer.h
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/tree.cc
/usr/lib64/xsb-3.8.0/packages/xasp/smodels/tree.h
/usr/lib64/xsb-3.8.0/packages/xasp/tests
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/cook_ex.P
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/cook_ex_old
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/cooked_choice.P
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/cooked_choice_old
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/rawex.P
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/rawex_old
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/test.sh
/usr/lib64/xsb-3.8.0/packages/xasp/tests/basic_tests/xnmr_int1_old
/usr/lib64/xsb-3.8.0/packages/xasp/tests/gentest.sh
/usr/lib64/xsb-3.8.0/packages/xasp/tests/testall.sh
/usr/lib64/xsb-3.8.0/packages/xasp/tests/testsuite.sh
/usr/lib64/xsb-3.8.0/packages/xasp/xasp.h
/usr/lib64/xsb-3.8.0/packages/xasp/xasppkg.H
/usr/lib64/xsb-3.8.0/packages/xasp/xasppkg.c
/usr/lib64/xsb-3.8.0/packages/xasp/xasppkg.def
/usr/lib64/xsb-3.8.0/packages/xasp/xasppkg.xwam
/usr/lib64/xsb-3.8.0/packages/xasp/xnmr.H
/usr/lib64/xsb-3.8.0/packages/xasp/xnmr.P
/usr/lib64/xsb-3.8.0/packages/xasp/xnmr.doc
/usr/lib64/xsb-3.8.0/packages/xasp/xnmr_int.H
/usr/lib64/xsb-3.8.0/packages/xasp/xnmr_int.P
/usr/lib64/xsb-3.8.0/packages/xasp/xsb_wrap_xasppkg.c
/usr/lib64/xsb-3.8.0/packages/xmc
/usr/lib64/xsb-3.8.0/packages/xmc.P
/usr/lib64/xsb-3.8.0/packages/xmc/GUI
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/close.bmp
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/false.gif
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/mck.tcl
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/mclistbox.tcl
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/node.bmp
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/open.bmp
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/tcl_interface.P
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/true.gif
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/xmc.tcl
/usr/lib64/xsb-3.8.0/packages/xmc/GUI/xsb_interface.tcl
/usr/lib64/xsb-3.8.0/packages/xmc/Makefile
/usr/lib64/xsb-3.8.0/packages/xmc/README
/usr/lib64/xsb-3.8.0/packages/xmc/annot.P
/usr/lib64/xsb-3.8.0/packages/xmc/attr.h
/usr/lib64/xsb-3.8.0/packages/xmc/ccs.P
/usr/lib64/xsb-3.8.0/packages/xmc/comp.H
/usr/lib64/xsb-3.8.0/packages/xmc/comp.P
/usr/lib64/xsb-3.8.0/packages/xmc/comp1.P
/usr/lib64/xsb-3.8.0/packages/xmc/comp2.P
/usr/lib64/xsb-3.8.0/packages/xmc/count.H
/usr/lib64/xsb-3.8.0/packages/xmc/count.P
/usr/lib64/xsb-3.8.0/packages/xmc/driver.c
/usr/lib64/xsb-3.8.0/packages/xmc/formula.H
/usr/lib64/xsb-3.8.0/packages/xmc/formula.P
/usr/lib64/xsb-3.8.0/packages/xmc/gui.H
/usr/lib64/xsb-3.8.0/packages/xmc/gui.P
/usr/lib64/xsb-3.8.0/packages/xmc/justify.H
/usr/lib64/xsb-3.8.0/packages/xmc/justify.P
/usr/lib64/xsb-3.8.0/packages/xmc/main.c
/usr/lib64/xsb-3.8.0/packages/xmc/models_rule.P
/usr/lib64/xsb-3.8.0/packages/xmc/mucalculus.H
/usr/lib64/xsb-3.8.0/packages/xmc/mucalculus.P
/usr/lib64/xsb-3.8.0/packages/xmc/navigate.H
/usr/lib64/xsb-3.8.0/packages/xmc/navigate.P
/usr/lib64/xsb-3.8.0/packages/xmc/quad.H
/usr/lib64/xsb-3.8.0/packages/xmc/quad.P
/usr/lib64/xsb-3.8.0/packages/xmc/reader.P
/usr/lib64/xsb-3.8.0/packages/xmc/runlib.P
/usr/lib64/xsb-3.8.0/packages/xmc/script.P
/usr/lib64/xsb-3.8.0/packages/xmc/setpath.P
/usr/lib64/xsb-3.8.0/packages/xmc/simgui.H
/usr/lib64/xsb-3.8.0/packages/xmc/simgui.P
/usr/lib64/xsb-3.8.0/packages/xmc/stdtype.P
/usr/lib64/xsb-3.8.0/packages/xmc/tcl_interface.H
/usr/lib64/xsb-3.8.0/packages/xmc/tcl_interface.P
/usr/lib64/xsb-3.8.0/packages/xmc/trans.H
/usr/lib64/xsb-3.8.0/packages/xmc/trans.P
/usr/lib64/xsb-3.8.0/packages/xmc/typecheck.H
/usr/lib64/xsb-3.8.0/packages/xmc/typecheck.P
/usr/lib64/xsb-3.8.0/packages/xmc/util.H
/usr/lib64/xsb-3.8.0/packages/xmc/util.P
/usr/lib64/xsb-3.8.0/packages/xmc/xl.l
/usr/lib64/xsb-3.8.0/packages/xmc/xl.y
/usr/lib64/xsb-3.8.0/packages/xmc/xlparse.H
/usr/lib64/xsb-3.8.0/packages/xmc/xlparse.c
/usr/lib64/xsb-3.8.0/packages/xmc/xmc.H
/usr/lib64/xsb-3.8.0/packages/xmc/xmc.P
/usr/lib64/xsb-3.8.0/packages/xpath
/usr/lib64/xsb-3.8.0/packages/xpath.P
/usr/lib64/xsb-3.8.0/packages/xpath/Installation_summary
/usr/lib64/xsb-3.8.0/packages/xpath/Misc
/usr/lib64/xsb-3.8.0/packages/xpath/Misc/xpath_init-wind.P
/usr/lib64/xsb-3.8.0/packages/xpath/cc
/usr/lib64/xsb-3.8.0/packages/xpath/cc/NMakefile.mak
/usr/lib64/xsb-3.8.0/packages/xpath/cc/NMakefile64.mak
/usr/lib64/xsb-3.8.0/packages/xpath/cc/README
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/iconv.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/iconv.lib
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/libxml2.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/libxml2.lib
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/xpathparser.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/xpathparser.exp
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/xpathparser.lib
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/zlib.lib
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin/zlib1.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/libcharset-1.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/libiconv-2.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/libxml2-2.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/libxml2-2.lib
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/mklib.bat
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/xpathparser.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/xpathparser.exp
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/xpathparser.lib
/usr/lib64/xsb-3.8.0/packages/xpath/cc/bin64/zlib1.dll
/usr/lib64/xsb-3.8.0/packages/xpath/cc/fetch_file.c
/usr/lib64/xsb-3.8.0/packages/xpath/cc/iconv.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/DOCBparser.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/HTMLparser.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/HTMLtree.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/SAX.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/SAX2.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/c14n.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/catalog.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/chvalid.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/debugXML.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/dict.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/encoding.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/entities.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/globals.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/hash.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/list.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/nanoftp.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/nanohttp.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/parser.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/parserInternals.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/pattern.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/relaxng.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/schemasInternals.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/threads.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/tree.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/uri.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/valid.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xinclude.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xlink.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlIO.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlautomata.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlerror.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlexports.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlmemory.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlmodule.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlreader.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlregexp.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlsave.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlschemas.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlschemastypes.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlstring.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlunicode.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlversion.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlwin32version.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xmlwriter.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xpath.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xpathInternals.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/libxml/xpointer.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/socketcall.h
/usr/lib64/xsb-3.8.0/packages/xpath/cc/xpathparser.c
/usr/lib64/xsb-3.8.0/packages/xpath/config.log
/usr/lib64/xsb-3.8.0/packages/xpath/config.status
/usr/lib64/xsb-3.8.0/packages/xpath/configure
/usr/lib64/xsb-3.8.0/packages/xpath/configure.in
/usr/lib64/xsb-3.8.0/packages/xpath/xml2-config
/usr/lib64/xsb-3.8.0/packages/xpath/xpath_init.P
/usr/lib64/xsb-3.8.0/packages/xpath/xpath_init.in
/usr/lib64/xsb-3.8.0/packages/xpath/xpathconfig.P
/usr/lib64/xsb-3.8.0/packages/xref
/usr/lib64/xsb-3.8.0/packages/xref.P
/usr/lib64/xsb-3.8.0/packages/xref/Makefile
/usr/lib64/xsb-3.8.0/packages/xref/xxref.H
/usr/lib64/xsb-3.8.0/packages/xref/xxref.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc
/usr/lib64/xsb-3.8.0/packages/xsbdoc.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/Makefile
/usr/lib64/xsb-3.8.0/packages/xsbdoc/README
/usr/lib64/xsb-3.8.0/packages/xsbdoc/alist.bst
/usr/lib64/xsb-3.8.0/packages/xsbdoc/autodoc.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/autodocformats.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/basic_props.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/ciaoaux.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/Copyright.Manuals
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/Generating.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/Intro.xsbdoc
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/README.xsbdoc
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/all.bib
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/assertions_props.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/comments.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/doc/xsbdoc_format.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/full_ciao_ops.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/init_ciao_flags.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/lpdoc.bst
/usr/lib64/xsb-3.8.0/packages/xsbdoc/rewrite_command.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/usage_message.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/xsbdoc1.P
/usr/lib64/xsb-3.8.0/packages/xsbdoc/xsbdoc_term_proc.P
/usr/lib64/xsb-3.8.0/prolog_includes
/usr/lib64/xsb-3.8.0/prolog_includes/char_defs.h
/usr/lib64/xsb-3.8.0/prolog_includes/http_errors.h
/usr/lib64/xsb-3.8.0/prolog_includes/standard.h
/usr/lib64/xsb-3.8.0/syslib
/usr/lib64/xsb-3.8.0/syslib/assert.xwam
/usr/lib64/xsb-3.8.0/syslib/atts.xwam
/usr/lib64/xsb-3.8.0/syslib/banner.xwam
/usr/lib64/xsb-3.8.0/syslib/basics.xwam
/usr/lib64/xsb-3.8.0/syslib/ccallxsb.xwam
/usr/lib64/xsb-3.8.0/syslib/consult.xwam
/usr/lib64/xsb-3.8.0/syslib/curr_sym.xwam
/usr/lib64/xsb-3.8.0/syslib/dbclause.xwam
/usr/lib64/xsb-3.8.0/syslib/dcg.xwam
/usr/lib64/xsb-3.8.0/syslib/debugger.xwam
/usr/lib64/xsb-3.8.0/syslib/debugger_data.P
/usr/lib64/xsb-3.8.0/syslib/domain.xwam
/usr/lib64/xsb-3.8.0/syslib/error_handler.xwam
/usr/lib64/xsb-3.8.0/syslib/eval.xwam
/usr/lib64/xsb-3.8.0/syslib/file_io.xwam
/usr/lib64/xsb-3.8.0/syslib/file_op.xwam
/usr/lib64/xsb-3.8.0/syslib/gensym.xwam
/usr/lib64/xsb-3.8.0/syslib/hilogsym.xwam
/usr/lib64/xsb-3.8.0/syslib/increval.xwam
/usr/lib64/xsb-3.8.0/syslib/loader.xwam
/usr/lib64/xsb-3.8.0/syslib/machine.xwam
/usr/lib64/xsb-3.8.0/syslib/num_vars.xwam
/usr/lib64/xsb-3.8.0/syslib/open_url.xwam
/usr/lib64/xsb-3.8.0/syslib/push_io.xwam
/usr/lib64/xsb-3.8.0/syslib/setof.xwam
/usr/lib64/xsb-3.8.0/syslib/shell.xwam
/usr/lib64/xsb-3.8.0/syslib/standard.xwam
/usr/lib64/xsb-3.8.0/syslib/std_xsb.xwam
/usr/lib64/xsb-3.8.0/syslib/string.xwam
/usr/lib64/xsb-3.8.0/syslib/sub_atom.xwam
/usr/lib64/xsb-3.8.0/syslib/subsumes.xwam
/usr/lib64/xsb-3.8.0/syslib/sysinitrc.xwam
/usr/lib64/xsb-3.8.0/syslib/tables.xwam
/usr/lib64/xsb-3.8.0/syslib/term_exp.xwam
/usr/lib64/xsb-3.8.0/syslib/thread.xwam
/usr/lib64/xsb-3.8.0/syslib/unix.xwam
/usr/lib64/xsb-3.8.0/syslib/write_term.xwam
/usr/lib64/xsb-3.8.0/syslib/x_interp.xwam
/usr/lib64/xsb-3.8.0/syslib/xcallxsb.xwam
/usr/lib64/xsb-3.8.0/syslib/xsb_hook.xwam
/usr/lib64/xsb-3.8.0/syslib/xsb_read.xwam
/usr/lib64/xsb-3.8.0/syslib/xsb_writ.xwam
/usr/lib64/xsb-3.8.0/syslib/xsbbrat.xwam
/usr/share/doc/packages/xsb
/usr/share/doc/packages/xsb/FAQ
/usr/share/doc/packages/xsb/LICENSE
/usr/share/doc/packages/xsb/README
