pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
xsb: packaging added
Module Name: pkgsrc-wip
Committed By: mayuresh <mayuresh%acm.org@localhost>
Pushed By: mayuresh
Date: Fri Aug 12 22:01:45 2022 +0530
Changeset: f1567eab0fe8aaa2cbeb596c8e8e213f6256c3c9
Modified Files:
xsb/Makefile
xsb/PLIST
xsb/patches/patch-configure
Log Message:
xsb: packaging added
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=f1567eab0fe8aaa2cbeb596c8e8e213f6256c3c9
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
xsb/Makefile | 18 +-
xsb/PLIST | 2044 ++++++++++++++++++++++++++++++++++++++++++-
xsb/patches/patch-configure | 14 +-
3 files changed, 2062 insertions(+), 14 deletions(-)
diffs:
diff --git a/xsb/Makefile b/xsb/Makefile
index 68d2486f37..13a036ebf2 100644
--- a/xsb/Makefile
+++ b/xsb/Makefile
@@ -14,23 +14,27 @@ WRKSRC= ${WRKDIR}/XSB/build
# There is "hard link not found" error for MSVC.sh with stock tar
EXTRACT_USING= gtar
+USE_TOOLS+= gmake
GNU_CONFIGURE= yes
-AUTOCONF_REQD= 2.7
GNU_CONFIGURE_STRICT= no
USE_GNU_CONFIGURE_HOST= no
+XSB_VERSION_STR= xsb-5.0.0
# The source uses P_tmpdir, u_long which are under _NETBSD_SOURCE flag in respective headers
CONFIGURE_ARGS+= --with-cflags=-D_NETBSD_SOURCE
-CONFIGURE_ARGS+= --with-site-prefix=${PREFIX}/xsb-5.0.0
-CONFIGURE_ARGS+= --exec-prefix=${PREFIX}/xsb-5.0.0
+CONFIGURE_ARGS+= --with-site-prefix=${PREFIX}/${XSB_VERSION_STR}
+CONFIGURE_ARGS+= --exec-prefix=${PREFIX}/${XSB_VERSION_STR}
+REPLACE_BASH+= ${WRKDIR}/XSB/packages/xasp/makelinks.sh
+INSTALLATION_DIRS+= bin
+XSB_BIN= ${DESTDIR}${PREFIX}/${XSB_VERSION_STR}/bin/xsb
do-build:
- cd ${WRKSRC} && ./makexsb fast
-
-#do-install:
-# cd ${WRKSRC} && ./makexsb install
+ cd ${WRKSRC} && ./makexsb fast packages
+do-install:
+ cd ${WRKSRC} && DESTDIR=${DESTDIR} ./makexsb install && \
+ ${INSTALL} ${XSB_BIN} ${DESTDIR}${PREFIX}/bin
.include "../../devel/pcre/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
diff --git a/xsb/PLIST b/xsb/PLIST
index 2af1f77192..d94977edee 100644
--- a/xsb/PLIST
+++ b/xsb/PLIST
@@ -1,4 +1,2042 @@
@comment $NetBSD$
-@comment TODO: to fill this file with the file listing:
-@comment TODO: 1. run "/usr/pbulk/bin/bmake package"
-@comment TODO: 2. run "/usr/pbulk/bin/bmake print-PLIST"
+bin/xsb
+xsb-${PKGVERSION}.0/bin/xsb
+xsb-${PKGVERSION}.0/build/config.guess
+xsb-${PKGVERSION}.0/build/config.sub
+xsb-${PKGVERSION}.0/cmplib/asm.xwam
+xsb-${PKGVERSION}.0/cmplib/asm_inst.xwam
+xsb-${PKGVERSION}.0/cmplib/asm_opt.xwam
+xsb-${PKGVERSION}.0/cmplib/asmpass2.xwam
+xsb-${PKGVERSION}.0/cmplib/auxlry.xwam
+xsb-${PKGVERSION}.0/cmplib/builtin.xwam
+xsb-${PKGVERSION}.0/cmplib/ciao_directives.xwam
+xsb-${PKGVERSION}.0/cmplib/compile.xwam
+xsb-${PKGVERSION}.0/cmplib/config.xwam
+xsb-${PKGVERSION}.0/cmplib/cp_opt.xwam
+xsb-${PKGVERSION}.0/cmplib/cutcheck.xwam
+xsb-${PKGVERSION}.0/cmplib/flatten.xwam
+xsb-${PKGVERSION}.0/cmplib/inprog.xwam
+xsb-${PKGVERSION}.0/cmplib/listutil.xwam
+xsb-${PKGVERSION}.0/cmplib/makemode.xwam
+xsb-${PKGVERSION}.0/cmplib/modeinf.xwam
+xsb-${PKGVERSION}.0/cmplib/modes.xwam
+xsb-${PKGVERSION}.0/cmplib/parse.xwam
+xsb-${PKGVERSION}.0/cmplib/peephole.xwam
+xsb-${PKGVERSION}.0/cmplib/pre_cond.xwam
+xsb-${PKGVERSION}.0/cmplib/preproc.xwam
+xsb-${PKGVERSION}.0/cmplib/printres.xwam
+xsb-${PKGVERSION}.0/cmplib/prof_sbp.xwam
+xsb-${PKGVERSION}.0/cmplib/sanity.xwam
+xsb-${PKGVERSION}.0/cmplib/singlton.xwam
+xsb-${PKGVERSION}.0/cmplib/spec.xwam
+xsb-${PKGVERSION}.0/cmplib/suppltab.xwam
+xsb-${PKGVERSION}.0/cmplib/symtab.xwam
+xsb-${PKGVERSION}.0/cmplib/tabdef.xwam
+xsb-${PKGVERSION}.0/cmplib/ti_mod.xwam
+xsb-${PKGVERSION}.0/cmplib/tp_comp.xwam
+xsb-${PKGVERSION}.0/cmplib/tp_cond.xwam
+xsb-${PKGVERSION}.0/cmplib/tp_eval.xwam
+xsb-${PKGVERSION}.0/cmplib/tp_goal.xwam
+xsb-${PKGVERSION}.0/cmplib/tp_index.xwam
+xsb-${PKGVERSION}.0/cmplib/tp_var.xwam
+xsb-${PKGVERSION}.0/cmplib/tpinline.xwam
+xsb-${PKGVERSION}.0/cmplib/tprog.xwam
+xsb-${PKGVERSION}.0/cmplib/useinfer.xwam
+xsb-${PKGVERSION}.0/cmplib/varproc.xwam
+xsb-${PKGVERSION}.0/cmplib/writeasm.xwam
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/banner.msg
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/bin/gpp
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/bin/libxsb.so
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/bin/xsb
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/lib/xsb_configuration.P
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/lib/xsb_configuration.xwam
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/lib/xsb_re_match.so
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/lib/xsb_re_match.xwam
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/lib/xsb_wildmatch.so
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/lib/xsb_wildmatch.xwam
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/xsb_config.h
+xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/xsb_debug.h
+xsb-${PKGVERSION}.0/emu/auxlry.h
+xsb-${PKGVERSION}.0/emu/basicdefs.h
+xsb-${PKGVERSION}.0/emu/basictypes.h
+xsb-${PKGVERSION}.0/emu/biassert_defs.h
+xsb-${PKGVERSION}.0/emu/binding.h
+xsb-${PKGVERSION}.0/emu/bineg_xsb_i.h
+xsb-${PKGVERSION}.0/emu/box_defines.h
+xsb-${PKGVERSION}.0/emu/builtin.h
+xsb-${PKGVERSION}.0/emu/call_graph_xsb.h
+xsb-${PKGVERSION}.0/emu/call_xsb_i.h
+xsb-${PKGVERSION}.0/emu/cell_def_xsb.h
+xsb-${PKGVERSION}.0/emu/cell_xsb.h
+xsb-${PKGVERSION}.0/emu/cell_xsb_i.h
+xsb-${PKGVERSION}.0/emu/celltags_xsb.h
+xsb-${PKGVERSION}.0/emu/choice.h
+xsb-${PKGVERSION}.0/emu/cinterf.h
+xsb-${PKGVERSION}.0/emu/cinterf_defs.h
+xsb-${PKGVERSION}.0/emu/com_xsb_interprolog_NativeEngine.h
+xsb-${PKGVERSION}.0/emu/complete_local.h
+xsb-${PKGVERSION}.0/emu/complete_xsb_i.h
+xsb-${PKGVERSION}.0/emu/conc_compl.h
+xsb-${PKGVERSION}.0/emu/conget_xsb_i.h
+xsb-${PKGVERSION}.0/emu/context.h
+xsb-${PKGVERSION}.0/emu/cut_xsb.h
+xsb-${PKGVERSION}.0/emu/deadlock.h
+xsb-${PKGVERSION}.0/emu/debug_xsb.h
+xsb-${PKGVERSION}.0/emu/demand.h
+xsb-${PKGVERSION}.0/emu/deref.h
+xsb-${PKGVERSION}.0/emu/dynamic_stack.h
+xsb-${PKGVERSION}.0/emu/dynaout_xsb_i.h
+xsb-${PKGVERSION}.0/emu/dynelf_xsb_i.h
+xsb-${PKGVERSION}.0/emu/dynload.h
+xsb-${PKGVERSION}.0/emu/dynwin32_xsb_i.h
+xsb-${PKGVERSION}.0/emu/emudef.h
+xsb-${PKGVERSION}.0/emu/emuloop.h
+xsb-${PKGVERSION}.0/emu/emuloop_aux.h
+xsb-${PKGVERSION}.0/emu/error_xsb.h
+xsb-${PKGVERSION}.0/emu/export.h
+xsb-${PKGVERSION}.0/emu/extensions_xsb.h
+xsb-${PKGVERSION}.0/emu/file_modes_xsb.h
+xsb-${PKGVERSION}.0/emu/findall.h
+xsb-${PKGVERSION}.0/emu/flag_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/flags_xsb.h
+xsb-${PKGVERSION}.0/emu/function.h
+xsb-${PKGVERSION}.0/emu/gc_copy.h
+xsb-${PKGVERSION}.0/emu/gc_mark.h
+xsb-${PKGVERSION}.0/emu/gc_print.h
+xsb-${PKGVERSION}.0/emu/gc_profile.h
+xsb-${PKGVERSION}.0/emu/gc_slide.h
+xsb-${PKGVERSION}.0/emu/hash_xsb.h
+xsb-${PKGVERSION}.0/emu/hashtable.h
+xsb-${PKGVERSION}.0/emu/hashtable_itr.h
+xsb-${PKGVERSION}.0/emu/hashtable_private.h
+xsb-${PKGVERSION}.0/emu/hashtable_xsb.h
+xsb-${PKGVERSION}.0/emu/heap_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/heap_xsb.h
+xsb-${PKGVERSION}.0/emu/incr_xsb.h
+xsb-${PKGVERSION}.0/emu/incr_xsb_defs.h
+xsb-${PKGVERSION}.0/emu/inst_xsb.h
+xsb-${PKGVERSION}.0/emu/interprolog_xsb.h
+xsb-${PKGVERSION}.0/emu/interprolog_xsb_i.h
+xsb-${PKGVERSION}.0/emu/io_builtins_xsb.h
+xsb-${PKGVERSION}.0/emu/io_builtins_xsb_i.h
+xsb-${PKGVERSION}.0/emu/io_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/loader_xsb.h
+xsb-${PKGVERSION}.0/emu/memory_defs.h
+xsb-${PKGVERSION}.0/emu/memory_xsb.h
+xsb-${PKGVERSION}.0/emu/odbc_def_xsb.h
+xsb-${PKGVERSION}.0/emu/odbc_string.h
+xsb-${PKGVERSION}.0/emu/odbc_xsb.h
+xsb-${PKGVERSION}.0/emu/odbc_xsb_i.h
+xsb-${PKGVERSION}.0/emu/oracle_xsb.h
+xsb-${PKGVERSION}.0/emu/oracle_xsb_i.h
+xsb-${PKGVERSION}.0/emu/orastuff.h
+xsb-${PKGVERSION}.0/emu/orient_xsb.h
+xsb-${PKGVERSION}.0/emu/psc_defs.h
+xsb-${PKGVERSION}.0/emu/psc_xsb.h
+xsb-${PKGVERSION}.0/emu/ptoc_tag_xsb_i.h
+xsb-${PKGVERSION}.0/emu/random_xsb.h
+xsb-${PKGVERSION}.0/emu/realloc.h
+xsb-${PKGVERSION}.0/emu/register.h
+xsb-${PKGVERSION}.0/emu/remove_unf.h
+xsb-${PKGVERSION}.0/emu/residual.h
+xsb-${PKGVERSION}.0/emu/rw_lock.h
+xsb-${PKGVERSION}.0/emu/scc_xsb.h
+xsb-${PKGVERSION}.0/emu/schedrev_xsb_i.h
+xsb-${PKGVERSION}.0/emu/setjmp_xsb.h
+xsb-${PKGVERSION}.0/emu/sha1.h
+xsb-${PKGVERSION}.0/emu/sig_xsb.h
+xsb-${PKGVERSION}.0/emu/slgdelay.h
+xsb-${PKGVERSION}.0/emu/slginsts_xsb_i.h
+xsb-${PKGVERSION}.0/emu/socket_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/socket_xsb.h
+xsb-${PKGVERSION}.0/emu/sp_unify_xsb_i.h
+xsb-${PKGVERSION}.0/emu/std_cases_xsb_i.h
+xsb-${PKGVERSION}.0/emu/std_pred_xsb_i.h
+xsb-${PKGVERSION}.0/emu/storage_xsb.h
+xsb-${PKGVERSION}.0/emu/storage_xsb_defs.h
+xsb-${PKGVERSION}.0/emu/string_xsb.h
+xsb-${PKGVERSION}.0/emu/struct_intern.h
+xsb-${PKGVERSION}.0/emu/struct_manager.h
+xsb-${PKGVERSION}.0/emu/sub_tables_xsb_i.h
+xsb-${PKGVERSION}.0/emu/subinst.h
+xsb-${PKGVERSION}.0/emu/subp.h
+xsb-${PKGVERSION}.0/emu/sw_envs.h
+xsb-${PKGVERSION}.0/emu/sys_include.h
+xsb-${PKGVERSION}.0/emu/syscall_xsb.h
+xsb-${PKGVERSION}.0/emu/system_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/system_xsb.h
+xsb-${PKGVERSION}.0/emu/tab_structs.h
+xsb-${PKGVERSION}.0/emu/table_inspection_defs.h
+xsb-${PKGVERSION}.0/emu/table_stats.h
+xsb-${PKGVERSION}.0/emu/table_status_defs.h
+xsb-${PKGVERSION}.0/emu/tables.h
+xsb-${PKGVERSION}.0/emu/tables_i.h
+xsb-${PKGVERSION}.0/emu/tc_insts_xsb_i.h
+xsb-${PKGVERSION}.0/emu/term_psc_xsb_i.h
+xsb-${PKGVERSION}.0/emu/thread_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/thread_xsb.h
+xsb-${PKGVERSION}.0/emu/timer_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/timer_xsb.h
+xsb-${PKGVERSION}.0/emu/token_defs_xsb.h
+xsb-${PKGVERSION}.0/emu/token_xsb.h
+xsb-${PKGVERSION}.0/emu/tr_code_xsb_i.h
+xsb-${PKGVERSION}.0/emu/tr_delay.h
+xsb-${PKGVERSION}.0/emu/tr_utils.h
+xsb-${PKGVERSION}.0/emu/trace_xsb.h
+xsb-${PKGVERSION}.0/emu/trassert.h
+xsb-${PKGVERSION}.0/emu/trie_defs.h
+xsb-${PKGVERSION}.0/emu/trie_internals.h
+xsb-${PKGVERSION}.0/emu/tries.h
+xsb-${PKGVERSION}.0/emu/tst_aux.h
+xsb-${PKGVERSION}.0/emu/tst_utils.h
+xsb-${PKGVERSION}.0/emu/ubi_BinTree.h
+xsb-${PKGVERSION}.0/emu/ubi_SplayTree.h
+xsb-${PKGVERSION}.0/emu/unify_xsb.h
+xsb-${PKGVERSION}.0/emu/url_encode.h
+xsb-${PKGVERSION}.0/emu/usurp.h
+xsb-${PKGVERSION}.0/emu/varstring_xsb.h
+xsb-${PKGVERSION}.0/emu/wfs_xsb_i.h
+xsb-${PKGVERSION}.0/emu/wind2unix.h
+xsb-${PKGVERSION}.0/emu/windows_stdint.h
+xsb-${PKGVERSION}.0/emu/wsipx.h
+xsb-${PKGVERSION}.0/emu/xsb_inst_list.h
+xsb-${PKGVERSION}.0/emu/xsb_time.h
+xsb-${PKGVERSION}.0/etc/binsearch.pl
+xsb-${PKGVERSION}.0/etc/copying.msg
+xsb-${PKGVERSION}.0/etc/create_patch.sh
+xsb-${PKGVERSION}.0/etc/help.msg
+xsb-${PKGVERSION}.0/etc/help.msgMT
+xsb-${PKGVERSION}.0/etc/images/xsb-logo.eps
+xsb-${PKGVERSION}.0/etc/images/xsb-logo.ico
+xsb-${PKGVERSION}.0/etc/prolog.el
+xsb-${PKGVERSION}.0/examples/Makefile
+xsb-${PKGVERSION}.0/examples/README
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/MakefileForCreatingDLLs
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/MakefileForCreatingDLLsW64
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/call_simple_foreign.P
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/fibp.P
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/fibr.H
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/fibr.c
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/file_expand.H
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/file_expand.c
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/hello.H
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/hello.c
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/second_foreign.H
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/second_foreign.c
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/second_foreign.mak
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/simple_foreign.H
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/simple_foreign.c
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/simple_foreign.mak
+xsb-${PKGVERSION}.0/examples/XSB_calling_c/simple_foreignW64.mak
+xsb-${PKGVERSION}.0/examples/actions.P
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/Makefile
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/README
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cfixedstring.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cmain.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cmain.mak
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cmain2.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cregs.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cregs_thread.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cregs_thread2.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/ctest.P
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cvarstring.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cvarstring_thread.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/cvarstring_thread2.c
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/edb.P
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/make.P
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/make_thread.P
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/make_thread2.P
+xsb-${PKGVERSION}.0/examples/c_calling_XSB/makealt.P
+xsb-${PKGVERSION}.0/examples/chr/dom.chr
+xsb-${PKGVERSION}.0/examples/chr/freeze.chr
+xsb-${PKGVERSION}.0/examples/chr/gauss.chr
+xsb-${PKGVERSION}.0/examples/chr/leq.chr
+xsb-${PKGVERSION}.0/examples/chr/ordering.P
+xsb-${PKGVERSION}.0/examples/chr/path.chr
+xsb-${PKGVERSION}.0/examples/chr/truckload.chr
+xsb-${PKGVERSION}.0/examples/chr_d/cycle.chr
+xsb-${PKGVERSION}.0/examples/chr_d/gcd.chr
+xsb-${PKGVERSION}.0/examples/chr_d/gcd2.chr
+xsb-${PKGVERSION}.0/examples/chr_d/leq.chr
+xsb-${PKGVERSION}.0/examples/chr_d/neq.chr
+xsb-${PKGVERSION}.0/examples/chr_d/primes2.chr
+xsb-${PKGVERSION}.0/examples/chr_d/queens.chr
+xsb-${PKGVERSION}.0/examples/chr_d/test_truckload.P
+xsb-${PKGVERSION}.0/examples/chr_d/test_vc1m.P
+xsb-${PKGVERSION}.0/examples/chr_d/truckload.P
+xsb-${PKGVERSION}.0/examples/chr_d/vc1m.P
+xsb-${PKGVERSION}.0/examples/curl/certificates/www.cs.stonybrook.edu.crt
+xsb-${PKGVERSION}.0/examples/curl/curltest.P
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/auth.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/enc.txt
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/enc_no_opt.txt
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/encode_url.txt
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/html_redir.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/http_redir.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/misc
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/no_options.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/no_redir.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/non_secure.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/prop_auth.txt
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/prop_no_opt.txt
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/properties.txt
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/redir.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/secure.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/secure_crt.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/timeout.html
+xsb-${PKGVERSION}.0/examples/curl/expectedoutput/user_agent.html
+xsb-${PKGVERSION}.0/examples/cyl.P
+xsb-${PKGVERSION}.0/examples/dyn_examples.P
+xsb-${PKGVERSION}.0/examples/exceptions.P
+xsb-${PKGVERSION}.0/examples/farmer.H
+xsb-${PKGVERSION}.0/examples/farmer.P
+xsb-${PKGVERSION}.0/examples/fd.P
+xsb-${PKGVERSION}.0/examples/fib.P
+xsb-${PKGVERSION}.0/examples/first.P
+xsb-${PKGVERSION}.0/examples/gap.P
+xsb-${PKGVERSION}.0/examples/ham.H
+xsb-${PKGVERSION}.0/examples/ham.P
+xsb-${PKGVERSION}.0/examples/houses.H
+xsb-${PKGVERSION}.0/examples/houses.P
+xsb-${PKGVERSION}.0/examples/incremental/README
+xsb-${PKGVERSION}.0/examples/incremental/neg1.P
+xsb-${PKGVERSION}.0/examples/incremental/neg2.P
+xsb-${PKGVERSION}.0/examples/incremental/reach.P
+xsb-${PKGVERSION}.0/examples/incremental/testabolish.P
+xsb-${PKGVERSION}.0/examples/incremental/testopaque.P
+xsb-${PKGVERSION}.0/examples/libwww/files/001.ent
+xsb-${PKGVERSION}.0/examples/libwww/files/REC-xml-19980210.xml
+xsb-${PKGVERSION}.0/examples/libwww/files/ex2.rdf
+xsb-${PKGVERSION}.0/examples/libwww/files/ex3.rdf
+xsb-${PKGVERSION}.0/examples/libwww/files/ex4.rdf
+xsb-${PKGVERSION}.0/examples/libwww/files/ex5.rdf
+xsb-${PKGVERSION}.0/examples/libwww/files/ex6.rdf
+xsb-${PKGVERSION}.0/examples/libwww/files/ex7.rdf
+xsb-${PKGVERSION}.0/examples/libwww/files/newsday1.html
+xsb-${PKGVERSION}.0/examples/libwww/files/simple.html
+xsb-${PKGVERSION}.0/examples/libwww/files/simple.xml
+xsb-${PKGVERSION}.0/examples/libwww/files/simple1.xml
+xsb-${PKGVERSION}.0/examples/libwww/files/simple2.html
+xsb-${PKGVERSION}.0/examples/libwww/files/simple_wrong.xml
+xsb-${PKGVERSION}.0/examples/libwww/files/team-2.rdf
+xsb-${PKGVERSION}.0/examples/libwww/files/test1.html
+xsb-${PKGVERSION}.0/examples/libwww/files/test2.html
+xsb-${PKGVERSION}.0/examples/libwww/files/w3c.html
+xsb-${PKGVERSION}.0/examples/libwww/files/w3c1.html
+xsb-${PKGVERSION}.0/examples/libwww/testsuite.P
+xsb-${PKGVERSION}.0/examples/lips_mega.H
+xsb-${PKGVERSION}.0/examples/lips_mega.P
+xsb-${PKGVERSION}.0/examples/mandel.H
+xsb-${PKGVERSION}.0/examples/mandel.P
+xsb-${PKGVERSION}.0/examples/map.H
+xsb-${PKGVERSION}.0/examples/map.P
+xsb-${PKGVERSION}.0/examples/nrev.H
+xsb-${PKGVERSION}.0/examples/nrev.P
+xsb-${PKGVERSION}.0/examples/ora_demo.P
+xsb-${PKGVERSION}.0/examples/parser.P
+xsb-${PKGVERSION}.0/examples/pcretest.P
+xsb-${PKGVERSION}.0/examples/ptq.P
+xsb-${PKGVERSION}.0/examples/ptq_examples.P
+xsb-${PKGVERSION}.0/examples/ptq_utils.P
+xsb-${PKGVERSION}.0/examples/ptqlex.P
+xsb-${PKGVERSION}.0/examples/python_examples/PX_callbacks.ipynb
+xsb-${PKGVERSION}.0/examples/python_examples/PX_intro.ipynb
+xsb-${PKGVERSION}.0/examples/qsort.P
+xsb-${PKGVERSION}.0/examples/queens.H
+xsb-${PKGVERSION}.0/examples/queens.P
+xsb-${PKGVERSION}.0/examples/rdf/TODO
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/ex_19.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/load_rdf.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t1.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t11.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t12.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t13.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t14.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t15.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t16.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t17.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t18.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t19.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t2.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t20.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t21.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t22.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t24.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t26.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t27.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t28.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t29.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t3.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t30.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t31.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t32.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t33.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t36.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t37.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t38.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t39.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t4.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t40.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t41.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t42.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t5.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t6.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t7.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/t8.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/types.ok
+xsb-${PKGVERSION}.0/examples/rdf/expectedoutput/xml_to_rdf.ok
+xsb-${PKGVERSION}.0/examples/rdf/suite/ex_19.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t1.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t11.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t12.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t13.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t14.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t15.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t16.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t17.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t18.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t19.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t2.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t20.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t21.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t22.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t24.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t26.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t27.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t28.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t29.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t3.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t30.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t31.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t32.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t33.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t36.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t37.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t38.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t39.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t4.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t40.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t41.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t42.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t5.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t6.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t7.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/t8.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/types.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/xmllit.rdf
+xsb-${PKGVERSION}.0/examples/rdf/suite/xsdtypes.rdf
+xsb-${PKGVERSION}.0/examples/rdf/test_rdf.P
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/amp.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/att.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/bar.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/bat.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/cdata.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/ce.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/cent-utf8.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/cmt.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/conref.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/conref2.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/crlf.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/defent.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/entent.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/estag.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/foo.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/i.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/mapbug.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/ment.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/minus2.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/netc.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/ng.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/noent.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/not.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/oma.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/omit1.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/per.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/rcdata.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/rdefent.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/rsre.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/sdata.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/shortval.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/sr.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/sr2.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/testdoc.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/ugh.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/utf8-cent.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/utf8.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/utf8string.ok
+xsb-${PKGVERSION}.0/examples/sgml/expectedoutput/w3.ok
+xsb-${PKGVERSION}.0/examples/sgml/files/amp.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/att.xml
+xsb-${PKGVERSION}.0/examples/sgml/files/bar.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/bat.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/cdata.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/ce.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/cent-utf8.xml
+xsb-${PKGVERSION}.0/examples/sgml/files/cmt.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/conref.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/conref2.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/crlf.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/defent.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/entent.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/estag.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/foo.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/i.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/mapbug.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/ment.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/minus2.xml
+xsb-${PKGVERSION}.0/examples/sgml/files/netc.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/ng.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/noent.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/not.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/oma.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/omit1.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/per.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/rcdata.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/rdefent.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/rsre.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/sdata.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/shortval.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/sr.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/sr2.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/ugh.sgml
+xsb-${PKGVERSION}.0/examples/sgml/files/utf8-cent.xml
+xsb-${PKGVERSION}.0/examples/sgml/files/utf8.xml
+xsb-${PKGVERSION}.0/examples/sgml/sgmltest.P
+xsb-${PKGVERSION}.0/examples/shortest_path.P
+xsb-${PKGVERSION}.0/examples/socket/auxdefs.P
+xsb-${PKGVERSION}.0/examples/socket/msgclient.P
+xsb-${PKGVERSION}.0/examples/socket/msgserver.P
+xsb-${PKGVERSION}.0/examples/socket/putclient.P
+xsb-${PKGVERSION}.0/examples/socket/putserver.P
+xsb-${PKGVERSION}.0/examples/socket/select/auxdefs.P
+xsb-${PKGVERSION}.0/examples/socket/select/msgclient.P
+xsb-${PKGVERSION}.0/examples/socket/select/msgclient2.P
+xsb-${PKGVERSION}.0/examples/socket/select/msgserver.P
+xsb-${PKGVERSION}.0/examples/socket/select/msgserver2.P
+xsb-${PKGVERSION}.0/examples/socket/select/readclient.P
+xsb-${PKGVERSION}.0/examples/socket/select/readclient2.P
+xsb-${PKGVERSION}.0/examples/socket/select/readserver.P
+xsb-${PKGVERSION}.0/examples/socket/select/readserver2.P
+xsb-${PKGVERSION}.0/examples/socket/select/writeclient.P
+xsb-${PKGVERSION}.0/examples/socket/select/writeclient2.P
+xsb-${PKGVERSION}.0/examples/socket/select/writeserver.P
+xsb-${PKGVERSION}.0/examples/socket/select/writeserver2.P
+xsb-${PKGVERSION}.0/examples/socket/streamclient.P
+xsb-${PKGVERSION}.0/examples/socket/streamserver.P
+xsb-${PKGVERSION}.0/examples/subprocess/child.P
+xsb-${PKGVERSION}.0/examples/subprocess/child2.P
+xsb-${PKGVERSION}.0/examples/subprocess/parent.P
+xsb-${PKGVERSION}.0/examples/subprocess/parent2.P
+xsb-${PKGVERSION}.0/examples/table_examples.P
+xsb-${PKGVERSION}.0/examples/threads/hl_socket.P
+xsb-${PKGVERSION}.0/examples/threads/msgclient.P
+xsb-${PKGVERSION}.0/examples/threads/mtmsgserver.P
+xsb-${PKGVERSION}.0/examples/threads/mtmsgserver2.P
+xsb-${PKGVERSION}.0/examples/threads/primes.P
+xsb-${PKGVERSION}.0/examples/threads/primes2.P
+xsb-${PKGVERSION}.0/examples/tree1k.P
+xsb-${PKGVERSION}.0/examples/wf_examples.P
+xsb-${PKGVERSION}.0/examples/wfs.P
+xsb-${PKGVERSION}.0/examples/xmc/ABP/abp.xl
+xsb-${PKGVERSION}.0/examples/xmc/ABP/buggyabp.xl
+xsb-${PKGVERSION}.0/examples/xmc/ABP/test.P
+xsb-${PKGVERSION}.0/examples/xmc/ABP/test.sh
+xsb-${PKGVERSION}.0/examples/xmc/ABP/test_new
+xsb-${PKGVERSION}.0/examples/xmc/ABP/test_old
+xsb-${PKGVERSION}.0/examples/xmc/Iproto/i.xl
+xsb-${PKGVERSION}.0/examples/xmc/Iproto/test.P
+xsb-${PKGVERSION}.0/examples/xmc/Iproto/test.sh
+xsb-${PKGVERSION}.0/examples/xmc/Iproto/test_new
+xsb-${PKGVERSION}.0/examples/xmc/Iproto/test_old
+xsb-${PKGVERSION}.0/examples/xmc/Leader/leader.xl
+xsb-${PKGVERSION}.0/examples/xmc/Leader/test.P
+xsb-${PKGVERSION}.0/examples/xmc/Leader/test.sh
+xsb-${PKGVERSION}.0/examples/xmc/Leader/test_new
+xsb-${PKGVERSION}.0/examples/xmc/Leader/test_old
+xsb-${PKGVERSION}.0/examples/xmc/Metalock/metalock.xl
+xsb-${PKGVERSION}.0/examples/xmc/Metalock/nomutext_out
+xsb-${PKGVERSION}.0/examples/xmc/Metalock/test.P
+xsb-${PKGVERSION}.0/examples/xmc/Metalock/test.sh
+xsb-${PKGVERSION}.0/examples/xmc/Metalock/test_new
+xsb-${PKGVERSION}.0/examples/xmc/Metalock/test_old
+xsb-${PKGVERSION}.0/examples/xmc/Needham/needham.xl
+xsb-${PKGVERSION}.0/examples/xmc/Rether/rether.xl
+xsb-${PKGVERSION}.0/examples/xmc/Rether/test.P
+xsb-${PKGVERSION}.0/examples/xmc/Rether/test.sh
+xsb-${PKGVERSION}.0/examples/xmc/Rether/test_new
+xsb-${PKGVERSION}.0/examples/xmc/Rether/test_old
+xsb-${PKGVERSION}.0/examples/xmc/Sieve/sieve.xl
+xsb-${PKGVERSION}.0/examples/xmc/Sieve/test.P
+xsb-${PKGVERSION}.0/examples/xmc/Sieve/test.sh
+xsb-${PKGVERSION}.0/examples/xmc/Sieve/test_new
+xsb-${PKGVERSION}.0/examples/xmc/Sieve/test_old
+xsb-${PKGVERSION}.0/examples/xmc/Tests/temp.P
+xsb-${PKGVERSION}.0/examples/xmc/Tests/test1.xl
+xsb-${PKGVERSION}.0/examples/xmc/Tests/test2.xl
+xsb-${PKGVERSION}.0/examples/xmc/Tests/test3.xl
+xsb-${PKGVERSION}.0/examples/xmc/gentest.sh
+xsb-${PKGVERSION}.0/examples/xmc/test.P
+xsb-${PKGVERSION}.0/examples/xmc/testall.sh
+xsb-${PKGVERSION}.0/examples/xmc/testsuite.sh
+xsb-${PKGVERSION}.0/examples/xpath/expectedoutput/example1.ok
+xsb-${PKGVERSION}.0/examples/xpath/expectedoutput/example2.ok
+xsb-${PKGVERSION}.0/examples/xpath/expectedoutput/greeting.ok
+xsb-${PKGVERSION}.0/examples/xpath/expectedoutput/w3.ok
+xsb-${PKGVERSION}.0/examples/xpath/files/examples.xml
+xsb-${PKGVERSION}.0/examples/xpath/xpathtest.P
+xsb-${PKGVERSION}.0/lib/aggregs.xwam
+xsb-${PKGVERSION}.0/lib/array.xwam
+xsb-${PKGVERSION}.0/lib/assoc_xsb.xwam
+xsb-${PKGVERSION}.0/lib/base64.xwam
+xsb-${PKGVERSION}.0/lib/basic_props.xwam
+xsb-${PKGVERSION}.0/lib/constraintLib.xwam
+xsb-${PKGVERSION}.0/lib/directry.xwam
+xsb-${PKGVERSION}.0/lib/dump_table.xwam
+xsb-${PKGVERSION}.0/lib/foreign.xwam
+xsb-${PKGVERSION}.0/lib/format.xwam
+xsb-${PKGVERSION}.0/lib/globalvar.xwam
+xsb-${PKGVERSION}.0/lib/intern.xwam
+xsb-${PKGVERSION}.0/lib/iso8601.xwam
+xsb-${PKGVERSION}.0/lib/justifyLP.xwam
+xsb-${PKGVERSION}.0/lib/lists.xwam
+xsb-${PKGVERSION}.0/lib/mttestutils.xwam
+xsb-${PKGVERSION}.0/lib/mutex_xsb.xwam
+xsb-${PKGVERSION}.0/lib/obsolete.xwam
+xsb-${PKGVERSION}.0/lib/odbc_call.xwam
+xsb-${PKGVERSION}.0/lib/ora_call.xwam
+xsb-${PKGVERSION}.0/lib/ordsets.xwam
+xsb-${PKGVERSION}.0/lib/packaging.xwam
+xsb-${PKGVERSION}.0/lib/pairlist.xwam
+xsb-${PKGVERSION}.0/lib/pretty_print.xwam
+xsb-${PKGVERSION}.0/lib/proc_files.xwam
+xsb-${PKGVERSION}.0/lib/prolog_db.xwam
+xsb-${PKGVERSION}.0/lib/prolog_db_doc/prolog_db.pdf
+xsb-${PKGVERSION}.0/lib/prolog_db_doc/prolog_db_format.P
+xsb-${PKGVERSION}.0/lib/random.xwam
+xsb-${PKGVERSION}.0/lib/range_trees.xwam
+xsb-${PKGVERSION}.0/lib/scrptutl.xwam
+xsb-${PKGVERSION}.0/lib/socket.xwam
+xsb-${PKGVERSION}.0/lib/storage.xwam
+xsb-${PKGVERSION}.0/lib/swi.xwam
+xsb-${PKGVERSION}.0/lib/ugraphs.xwam
+xsb-${PKGVERSION}.0/lib/wrapping.xwam
+xsb-${PKGVERSION}.0/lib/xnmr.xwam
+xsb-${PKGVERSION}.0/lib/xsb_ciao.xwam
+xsb-${PKGVERSION}.0/lib/xsb_lint_impexp.xwam
+xsb-${PKGVERSION}.0/lib/xsb_profiling.xwam
+xsb-${PKGVERSION}.0/packages/CDF/doc/README.cdf
+xsb-${PKGVERSION}.0/packages/CDF/doc/main.P
+xsb-${PKGVERSION}.0/packages/CDF/doc/oms_format.P
+xsb-${PKGVERSION}.0/packages/CDF/my_getindexes.sp
+xsb-${PKGVERSION}.0/packages/CDF/newpp.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_cdf.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_components.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_config.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_constraints.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_db_storage.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_db_updatable.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_diffs.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_exceptions.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_filters.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_init_oms.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_io.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_oblivion.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_odbc.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_q_annot.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_queries.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_rules.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_utilities.P
+xsb-${PKGVERSION}.0/packages/CDF/oms_utils.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/oms_daml_names.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/oms_dump_rdf.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/oms_rdf.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/oms_trans_triples.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/xml.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/xml_acquisition.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/xml_diagnosis.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/xml_generation.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/xml_pp.P
+xsb-${PKGVERSION}.0/packages/CDF/rdf/xml_utilities.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext1.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext10.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext2.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext3.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext4.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext5.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext6.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext8.P
+xsb-${PKGVERSION}.0/packages/CDF/test/ext9.P
+xsb-${PKGVERSION}.0/packages/CDF/test/gentest.sh
+xsb-${PKGVERSION}.0/packages/CDF/test/get_diff.sh
+xsb-${PKGVERSION}.0/packages/CDF/test/get_internal_diff.sh
+xsb-${PKGVERSION}.0/packages/CDF/test/oms_test.P
+xsb-${PKGVERSION}.0/packages/CDF/test/test.sh
+xsb-${PKGVERSION}.0/packages/CDF/test/test1.P
+xsb-${PKGVERSION}.0/packages/CDF/test/test2.P
+xsb-${PKGVERSION}.0/packages/CDF/test/test2dir/subset.prev
+xsb-${PKGVERSION}.0/packages/CDF/test/test3.P
+xsb-${PKGVERSION}.0/packages/CDF/test/test3dir/subset.prev
+xsb-${PKGVERSION}.0/packages/CDF/test/test4.P
+xsb-${PKGVERSION}.0/packages/CDF/test/test5.P
+xsb-${PKGVERSION}.0/packages/CDF/test/test5dir/subset.prev
+xsb-${PKGVERSION}.0/packages/CDF/test/test6.P
+xsb-${PKGVERSION}.0/packages/CDF/test/test6dir/subset.prev
+xsb-${PKGVERSION}.0/packages/CDF/test/test8.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/bench.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/cur_tests.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/gctest1.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/meta.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/meta_io.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/metaback.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/metafront.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/testing.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/testing_capi.P
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/tp_debug.df
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/tp_debug.h
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/tp_debug.none
+xsb-${PKGVERSION}.0/packages/CDF/theoremprover/tp_utils.P
+xsb-${PKGVERSION}.0/packages/CDF/todo
+xsb-${PKGVERSION}.0/packages/CDF/xsb_logger.P
+xsb-${PKGVERSION}.0/packages/altCDF/Makefile
+xsb-${PKGVERSION}.0/packages/altCDF/cdf/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf/cdf_intensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_checks.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_comps_share.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_concurrency.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_config.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_definitions.h
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_exceptions.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_init.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_init_cdf.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_io.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_oblivion.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdf_utilities.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdfpt/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdfpt/cdf_intensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/cdftp_cdfsc.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/cdftp_chkCon.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/cdftp_getObj.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/cdftp_meta.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/cdftp_preproc.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/cdftp_rules.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/compile.sh
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/curtest/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/curtest/cur_tests.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/curtest/testing.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/ontologies/ont1/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/ontologies/ont1/cdf_intensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/cdftp/tp_utils.P
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/arch.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/chooseFromTerms.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/struct1.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/struct2.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/xjConfirmUser.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/xjPickDirectory.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/xjPickFile.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/Figures/xjShowOptionDialog.eps
+xsb-${PKGVERSION}.0/packages/altCDF/doc/abstract.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/acknowledgements.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/appendix.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/cdf_init_cdf.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/checks.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/comparisons.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/components.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/concurrency.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/configuration.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/consist.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/database.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/dl.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/ecltree.sty
+xsb-${PKGVERSION}.0/packages/altCDF/doc/enumerate.sty
+xsb-${PKGVERSION}.0/packages/altCDF/doc/examples.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/float.sty
+xsb-${PKGVERSION}.0/packages/altCDF/doc/fullpage.sty
+xsb-${PKGVERSION}.0/packages/altCDF/doc/graphics.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/impl.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/include.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/includeopt.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/inheritance.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/instances.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/intro.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/longstring.bib
+xsb-${PKGVERSION}.0/packages/altCDF/doc/manual.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/newaltmodel.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/nondoc.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/predindex.sty
+xsb-${PKGVERSION}.0/packages/altCDF/doc/product.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/prologCache.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/semantics.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/subfigure.sty
+xsb-${PKGVERSION}.0/packages/altCDF/doc/tools.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/type0impl.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/type1.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/type1impl.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/update.tex
+xsb-${PKGVERSION}.0/packages/altCDF/doc/url.sty
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/mknf.P
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/mknf_chkCon.P
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/tests/chkCon/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/tests/chkCon/cdf_intensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/tests/chkCon/rules.P
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/tests/ex_disj/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/tests/ex_disj/cdf_intensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/mknf/tests/ex_disj/rules.P
+xsb-${PKGVERSION}.0/packages/altCDF/mytest/cdftest1/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/mytest/cdftest1/cdf_intensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/mytest/cdftest1/initialization_file.P
+xsb-${PKGVERSION}.0/packages/altCDF/mytest/checktest.P
+xsb-${PKGVERSION}.0/packages/altCDF/mytest/comptest.P
+xsb-${PKGVERSION}.0/packages/altCDF/mytest/ruletest.P
+xsb-${PKGVERSION}.0/packages/altCDF/newpp.P
+xsb-${PKGVERSION}.0/packages/altCDF/scripts/cdf_def00.h
+xsb-${PKGVERSION}.0/packages/altCDF/scripts/cdf_def01.h
+xsb-${PKGVERSION}.0/packages/altCDF/scripts/cdf_def10.h
+xsb-${PKGVERSION}.0/packages/altCDF/scripts/cdf_def11.h
+xsb-${PKGVERSION}.0/packages/altCDF/scripts/cdfconftest.sh
+xsb-${PKGVERSION}.0/packages/altCDF/tests/ce_tests/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/tests/ce_tests/cur_tests.P
+xsb-${PKGVERSION}.0/packages/altCDF/tests/ce_tests/testing.P
+xsb-${PKGVERSION}.0/packages/altCDF/tests/onto_tests/ont1/cdf_extensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/tests/onto_tests/ont1/cdf_intensional.P
+xsb-${PKGVERSION}.0/packages/altCDF/tests/onto_tests/testont.P
+xsb-${PKGVERSION}.0/packages/altcdf.P
+xsb-${PKGVERSION}.0/packages/bounds/bounds_ops.pl
+xsb-${PKGVERSION}.0/packages/bounds/clp_events.pl
+xsb-${PKGVERSION}.0/packages/cdf.P
+xsb-${PKGVERSION}.0/packages/chr.P
+xsb-${PKGVERSION}.0/packages/chr.xwam
+xsb-${PKGVERSION}.0/packages/chr/allentable.P
+xsb-${PKGVERSION}.0/packages/chr/chr_TimeMachine.P
+xsb-${PKGVERSION}.0/packages/chr/chr_interp.P
+xsb-${PKGVERSION}.0/packages/chr/chr_pp.P
+xsb-${PKGVERSION}.0/packages/chr/ctest.P
+xsb-${PKGVERSION}.0/packages/chr/mdl_TimeMachine.P
+xsb-${PKGVERSION}.0/packages/chr/time.P
+xsb-${PKGVERSION}.0/packages/chr/timeConstraints.chr
+xsb-${PKGVERSION}.0/packages/chr_d.P
+xsb-${PKGVERSION}.0/packages/chr_d.xwam
+xsb-${PKGVERSION}.0/packages/chr_d/attv_aux.P
+xsb-${PKGVERSION}.0/packages/chr_d/chr2attv.P
+xsb-${PKGVERSION}.0/packages/chr_d/flatten_chr.P
+xsb-${PKGVERSION}.0/packages/chr_d/print_chrd.P
+xsb-${PKGVERSION}.0/packages/clpqr/Makefile
+xsb-${PKGVERSION}.0/packages/clpqr/bb_r.P
+xsb-${PKGVERSION}.0/packages/clpqr/bv_q.pl
+xsb-${PKGVERSION}.0/packages/clpqr/bv_r.P
+xsb-${PKGVERSION}.0/packages/clpqr/class.pl
+xsb-${PKGVERSION}.0/packages/clpqr/clpr.pl
+xsb-${PKGVERSION}.0/packages/clpqr/clpr_make.P
+xsb-${PKGVERSION}.0/packages/clpqr/dump.pl
+xsb-${PKGVERSION}.0/packages/clpqr/fourmotz_r.P
+xsb-${PKGVERSION}.0/packages/clpqr/geler.pl
+xsb-${PKGVERSION}.0/packages/clpqr/ineq_r.P
+xsb-${PKGVERSION}.0/packages/clpqr/itf.pl
+xsb-${PKGVERSION}.0/packages/clpqr/itf_r.P
+xsb-${PKGVERSION}.0/packages/clpqr/nf_r.P
+xsb-${PKGVERSION}.0/packages/clpqr/ordering.P
+xsb-${PKGVERSION}.0/packages/clpqr/project.pl
+xsb-${PKGVERSION}.0/packages/clpqr/quantum.h
+xsb-${PKGVERSION}.0/packages/clpqr/redund.P
+xsb-${PKGVERSION}.0/packages/clpqr/store_r.P
+xsb-${PKGVERSION}.0/packages/clpr.P
+xsb-${PKGVERSION}.0/packages/curl.P
+xsb-${PKGVERSION}.0/packages/curl/Installation_summary
+xsb-${PKGVERSION}.0/packages/curl/Makefile
+xsb-${PKGVERSION}.0/packages/curl/Misc/curl_init-wind.P
+xsb-${PKGVERSION}.0/packages/curl/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/curl/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/curl/TODO
+xsb-${PKGVERSION}.0/packages/curl/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/curl/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/curl/cc/README
+xsb-${PKGVERSION}.0/packages/curl/cc/bin/curl2pl.dll
+xsb-${PKGVERSION}.0/packages/curl/cc/bin/curl2pl.exp
+xsb-${PKGVERSION}.0/packages/curl/cc/bin/curl2pl.lib
+xsb-${PKGVERSION}.0/packages/curl/cc/bin/libcurl.dll
+xsb-${PKGVERSION}.0/packages/curl/cc/bin/libcurl.lib
+xsb-${PKGVERSION}.0/packages/curl/cc/bin64/curl2pl.dll
+xsb-${PKGVERSION}.0/packages/curl/cc/bin64/curl2pl.exp
+xsb-${PKGVERSION}.0/packages/curl/cc/bin64/curl2pl.lib
+xsb-${PKGVERSION}.0/packages/curl/cc/bin64/libcurl.dll
+xsb-${PKGVERSION}.0/packages/curl/cc/bin64/libcurl.lib
+xsb-${PKGVERSION}.0/packages/curl/cc/common.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/README
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/curl.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/curlver.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/easy.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/mprintf.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/multi.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/stdcheaders.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/system.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl/typecheck-gcc.h
+xsb-${PKGVERSION}.0/packages/curl/cc/curl2pl.c
+xsb-${PKGVERSION}.0/packages/curl/cc/error.c
+xsb-${PKGVERSION}.0/packages/curl/cc/error.h
+xsb-${PKGVERSION}.0/packages/curl/cc/error_term.h
+xsb-${PKGVERSION}.0/packages/curl/cc/load_page.c
+xsb-${PKGVERSION}.0/packages/curl/cc/load_page.h
+xsb-${PKGVERSION}.0/packages/curl/cc/nodeprecate.h
+xsb-${PKGVERSION}.0/packages/curl/config.log
+xsb-${PKGVERSION}.0/packages/curl/config.status
+xsb-${PKGVERSION}.0/packages/curl/configure
+xsb-${PKGVERSION}.0/packages/curl/configure.in
+xsb-${PKGVERSION}.0/packages/curl/curl_info.P
+xsb-${PKGVERSION}.0/packages/curl/curl_info.in
+xsb-${PKGVERSION}.0/packages/curl/curlconfig.P
+xsb-${PKGVERSION}.0/packages/curl/curlconfig.xwam
+xsb-${PKGVERSION}.0/packages/dbdrivers.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/Installation_summary
+xsb-${PKGVERSION}.0/packages/dbdrivers/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/driver_manager.H
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/driver_manager.c
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/driver_manager_defs.h
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/nodeprecate.h
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/windows/driver_manager.dll
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/windows/driver_manager.exp
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/windows/driver_manager.lib
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/windows64/driver_manager.dll
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/windows64/driver_manager.exp
+xsb-${PKGVERSION}.0/packages/dbdrivers/cc/windows64/driver_manager.lib
+xsb-${PKGVERSION}.0/packages/dbdrivers/db_interface.H
+xsb-${PKGVERSION}.0/packages/dbdrivers/db_interface.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/Installation_summary
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/Misc/mysql_init-wind.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/mysql_driver.c
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/mysql_driver_defs.h
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/windows/mysql_driver.exp
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/windows/mysql_driver.lib
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/windows64/mysql_driver.dll
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/windows64/mysql_driver.exp
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/cc/windows64/mysql_driver.lib
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/config.log
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/config.status
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/configure
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/configure.in
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/mysql_driver_config.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/mysql_init.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysql/mysql_init.in
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/Installation_summary
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/Misc/mysqlembedded_init-wind.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/cc/mysqlembedded_driver.c
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/cc/mysqlembedded_driver_defs.h
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/config.log
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/config.status
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/configure
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/configure.in
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/mysqlembedded_driver_config.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/mysqlembedded_init.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/mysqlembedded/mysqlembedded_init.in
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/Installation_summary
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/Misc/odbc_init-wind.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/odbc_driver.c
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/odbc_driver_defs.h
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/windows/odbc_driver.dll
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/windows/odbc_driver.exp
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/windows/odbc_driver.lib
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/windows64/odbc_driver.dll
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/windows64/odbc_driver.exp
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/cc/windows64/odbc_driver.lib
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/config.log
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/config.status
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/configure
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/configure.in
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/odbc_driver_config.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/odbc_init.P
+xsb-${PKGVERSION}.0/packages/dbdrivers/odbc/odbc_init.in
+xsb-${PKGVERSION}.0/packages/dbdrivers/run_configure_scripts
+xsb-${PKGVERSION}.0/packages/gap.P
+xsb-${PKGVERSION}.0/packages/gap.xwam
+xsb-${PKGVERSION}.0/packages/gap/Makefile
+xsb-${PKGVERSION}.0/packages/gap/README
+xsb-${PKGVERSION}.0/packages/gap/gapaux.P
+xsb-${PKGVERSION}.0/packages/gap/gapexamps.P
+xsb-${PKGVERSION}.0/packages/gap/gapmeta.P
+xsb-${PKGVERSION}.0/packages/gap/gapmeta.xwam
+xsb-${PKGVERSION}.0/packages/json.P
+xsb-${PKGVERSION}.0/packages/json/.gitignore
+xsb-${PKGVERSION}.0/packages/json/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/json/cc/parson.c
+xsb-${PKGVERSION}.0/packages/json/cc/parson.h
+xsb-${PKGVERSION}.0/packages/json/cc/parson_xsb.H
+xsb-${PKGVERSION}.0/packages/json/cc/parson_xsb.c
+xsb-${PKGVERSION}.0/packages/json/cc/windows64/parson_xsb.dll
+xsb-${PKGVERSION}.0/packages/json/cc/windows64/parson_xsb.exp
+xsb-${PKGVERSION}.0/packages/json/cc/windows64/parson_xsb.lib
+xsb-${PKGVERSION}.0/packages/json/parson_config.P
+xsb-${PKGVERSION}.0/packages/json/term_to_json.P
+xsb-${PKGVERSION}.0/packages/justify.P
+xsb-${PKGVERSION}.0/packages/justify.xwam
+xsb-${PKGVERSION}.0/packages/justify/Makefile
+xsb-${PKGVERSION}.0/packages/justify/README
+xsb-${PKGVERSION}.0/packages/justify/evid.P
+xsb-${PKGVERSION}.0/packages/justify/jxm.H
+xsb-${PKGVERSION}.0/packages/justify/jxm.P
+xsb-${PKGVERSION}.0/packages/justify/jxm.xwam
+xsb-${PKGVERSION}.0/packages/libwww.P
+xsb-${PKGVERSION}.0/packages/libwww/Makefile
+xsb-${PKGVERSION}.0/packages/libwww/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_parse.h
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_parse_html.c
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_parse_html.h
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_parse_rdf.c
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_parse_rdf.h
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_parse_xml.c
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_parse_xml.h
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_req.h
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_request.c
+xsb-${PKGVERSION}.0/packages/libwww/cc/libwww_util.h
+xsb-${PKGVERSION}.0/packages/libwww/configure
+xsb-${PKGVERSION}.0/packages/libwww/configure.in
+xsb-${PKGVERSION}.0/packages/libwww/http_liberr.P
+xsb-${PKGVERSION}.0/packages/libwww/libwww_init.in
+xsb-${PKGVERSION}.0/packages/libwww/libwwwconfig.P
+xsb-${PKGVERSION}.0/packages/minizinc.P
+xsb-${PKGVERSION}.0/packages/minizinc.xwam
+xsb-${PKGVERSION}.0/packages/minizinc/Makefile
+xsb-${PKGVERSION}.0/packages/minizinc/examples.P
+xsb-${PKGVERSION}.0/packages/minizinc/examples.xwam
+xsb-${PKGVERSION}.0/packages/minizinc/examples/australia.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/australia2.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/bake.dzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/bake.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/golfer.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/jobshop.dzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/jobshop.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/knapsack.dzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/knapsack.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/marriage.dzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/marriage.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/prod-planning.dzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/prod-planning.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/prod-planning2.dzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/queens.dzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/queens.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/sendmoney.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/examples/show.mzn
+xsb-${PKGVERSION}.0/packages/minizinc/xsb2mzn.P
+xsb-${PKGVERSION}.0/packages/minizinc/xsb2mzn.xwam
+xsb-${PKGVERSION}.0/packages/pcre.P
+xsb-${PKGVERSION}.0/packages/pcre/Installation_summary
+xsb-${PKGVERSION}.0/packages/pcre/Makefile
+xsb-${PKGVERSION}.0/packages/pcre/Misc/pcre_init-wind.P
+xsb-${PKGVERSION}.0/packages/pcre/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/pcre/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/pcre/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/pcre/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin/pcre.def
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin/pcre.dll
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin/pcre.lib
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin/pcre4pl.dll
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin/pcre4pl.exp
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin/pcre4pl.lib
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcre.dll
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcre.exp
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcre.lib
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcre4pl.dll
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcre4pl.exp
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcre4pl.lib
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcrecpp.dll
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcrecpp.exp
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcrecpp.lib
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcreposix.dll
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcreposix.exp
+xsb-${PKGVERSION}.0/packages/pcre/cc/bin64/pcreposix.lib
+xsb-${PKGVERSION}.0/packages/pcre/cc/deprecation.h
+xsb-${PKGVERSION}.0/packages/pcre/cc/pcre/pcre.h
+xsb-${PKGVERSION}.0/packages/pcre/cc/pcre/pcreposix.h
+xsb-${PKGVERSION}.0/packages/pcre/cc/pcre4pl.c
+xsb-${PKGVERSION}.0/packages/pcre/config.log
+xsb-${PKGVERSION}.0/packages/pcre/config.status
+xsb-${PKGVERSION}.0/packages/pcre/configure
+xsb-${PKGVERSION}.0/packages/pcre/configure.in
+xsb-${PKGVERSION}.0/packages/pcre/pcre_info.P
+xsb-${PKGVERSION}.0/packages/pcre/pcre_info.in
+xsb-${PKGVERSION}.0/packages/pcre/pcreconfig.P
+xsb-${PKGVERSION}.0/packages/pcre/pcreconfig.xwam
+xsb-${PKGVERSION}.0/packages/perlmatch.P
+xsb-${PKGVERSION}.0/packages/perlmatch/Makefile
+xsb-${PKGVERSION}.0/packages/perlmatch/cc/interface.h
+xsb-${PKGVERSION}.0/packages/perlmatch/cc/perlpattern.c
+xsb-${PKGVERSION}.0/packages/perlmatch/cc/xsbpattern.c
+xsb-${PKGVERSION}.0/packages/perlmatch/plmchconfig.P
+xsb-${PKGVERSION}.0/packages/perlmatch/plmchshell.P
+xsb-${PKGVERSION}.0/packages/persistent_tables/doc/README
+xsb-${PKGVERSION}.0/packages/persistent_tables/doc/persistent_tables.pdf
+xsb-${PKGVERSION}.0/packages/persistent_tables/doc/pt_format.P
+xsb-${PKGVERSION}.0/packages/persistent_tables/examples/persistent_table_test1.P
+xsb-${PKGVERSION}.0/packages/persistent_tables/persistent_tables.P
+xsb-${PKGVERSION}.0/packages/persistent_tables/pt_grouper.P
+xsb-${PKGVERSION}.0/packages/persistent_tables/pt_utilities.P
+xsb-${PKGVERSION}.0/packages/persistenttables.P
+xsb-${PKGVERSION}.0/packages/pita.P
+xsb-${PKGVERSION}.0/packages/pita/LICENSE.TXT
+xsb-${PKGVERSION}.0/packages/pita/auc.pl
+xsb-${PKGVERSION}.0/packages/pita/bddem.H
+xsb-${PKGVERSION}.0/packages/pita/bddem.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/Doxyfile.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/LICENSE
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/Makefile.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/Makefile.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/README
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/RELEASE.NOTES
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/aclocal.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/ar-lib
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/compile
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/config.guess
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/config.sub
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/depcomp
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/install-sh
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/ltmain.sh
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/missing
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/build-aux/tap-driver.sh
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/config.h.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/configure
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/configure.ac
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/cuddObj.cc
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/cuddObj.hh
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/multi.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/test.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/test_obj.test.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/testmulti.cc
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cplusplus/testobj.cc
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cudd.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAPI.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAddAbs.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAddApply.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAddFind.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAddInv.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAddIte.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAddNeg.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAddWalsh.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAndAbs.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddAnneal.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddApa.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddApprox.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddBddAbs.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddBddCorr.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddBddIte.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddBridge.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddCache.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddCheck.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddClip.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddCof.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddCompose.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddDecomp.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddEssent.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddExact.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddExport.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddGenCof.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddGenetic.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddGroup.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddHarwell.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddInit.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddInt.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddInteract.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddLCache.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddLevelQ.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddLinear.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddLiteral.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddMatMult.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddPriority.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddRead.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddRef.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddReorder.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddSat.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddSign.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddSolve.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddSplit.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddSubsetHB.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddSubsetSP.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddSymmetry.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddTable.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddUtil.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddWindow.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddCount.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddFuncs.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddGroup.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddIsop.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddLin.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddMisc.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddPort.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddReord.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddSetop.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddSymm.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/cuddZddUtil.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/extra.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/r7x8.1.mat
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/r7x8.1.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/test_cudd.test.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/testcudd.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/cudd/testextra.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/README.dddmp
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/README.testdddmp
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/RELEASE_NOTES
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmp.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpBinary.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpConvert.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpDbg.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpInt.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpLoad.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpLoadCnf.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpNodeAdd.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpNodeBdd.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpNodeCnf.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreAdd.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreBdd.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreCnf.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpStoreMisc.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/dddmpUtil.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/cmdIndex.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/commands.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/credit.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmp-2.0-A4.ps
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmp-2.0-Letter.ps
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllAbs.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllByFile.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllByFunc.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllDet.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpAllFile.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpDesc.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpDoc.txt
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpExt.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpExtAbs.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpExtDet.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/dddmpTitle.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/packages.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/doc/pkgIndex.html
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/0.add
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/0.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/0or1.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/1.add
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/1.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/2.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/2and3.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/3.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis1
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis2
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis3
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.bdd.bis4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.cnf
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.cnf.bis
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.max1
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4.max2
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4bis.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/4xor5.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/5.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/composeids.txt
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/one.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/s27RP1.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd.bis
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/s27deltaDddmp2.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/test1.sh.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/test2.sh.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/test3.sh.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/test4.sh.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/test5.sh.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/test6.sh.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/test7.sh.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/varauxids.ord
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/varnames.ord
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/exp/zero.bdd
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/test_dddmp.test.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/dddmp/testdddmp.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/doc/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/doc/cudd.tex.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/doc/phase.pdf
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/epd/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/epd/epd.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/epd/epd.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/epd/epdInt.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/groups.dox
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/m4/libtool.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/m4/ltoptions.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/m4/ltsugar.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/m4/ltversion.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/m4/lt~obsolete.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/m4/modern_cxx.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/m4/w32.m4
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/mtr.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/mtrBasic.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/mtrGroup.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/mtrInt.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/test.groups
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/test.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/test_mtr.test.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/mtr/testmtr.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/C17.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/C17.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/C880.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/C880.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/README
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/adj49.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/adj49.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/bnet.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/bnet.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/chkMterm.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/closest.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/closest.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ham01.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ham01.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/main.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/miniFirst.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/miniFirst.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/miniSecond.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/mult32a.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/mult32a.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/nanotrav.1
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ntr.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ntr.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ntrBddTest.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ntrHeap.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ntrMflow.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ntrShort.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/ntrZddTest.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/rcn25.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/rcn25.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s27.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s27.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s27b.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s27b.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s27c.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s27c.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s382.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s382.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s641.blif
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/s641.out
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/nanotrav/test_ntrv.test.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/st/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/st/st.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/st/st.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/st/test_st.test.in
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/st/testst.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/Included.am
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/cpu_stats.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/cpu_time.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/cstringstream.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/cstringstream.h
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/datalimit.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/pathsearch.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/pipefork.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/prtime.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/safe_mem.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/strsav.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/texpand.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/ucbqsort.c
+xsb-${PKGVERSION}.0/packages/pita/cudd-3.0.0/util/util.h
+xsb-${PKGVERSION}.0/packages/pita/examples/abd1.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/abd2.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/abd3.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/alarm.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/alarm.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/arithm.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/binomial.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/bitcoin_attack.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/bitcoin_two_phase.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/bloodtype.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/bloodtype_indexc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/card.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/card_body.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/card_disc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/card_disc_body.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/coin.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/coin.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/coin2.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/coin2.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/coinmc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/coinmsw.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/cora.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/cora.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/dice.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/dice.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/dirichlet_process.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/dp_chinese.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/dp_mix.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/duel.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/earthquake.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/earthquake.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/epidemic.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/epidemic.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/eruption.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/eruption.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/eruption_tab.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/ex.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/exapprox.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/exist.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/exist1.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/exrange.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/figaro_611.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/flexprob.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/gauss_mean_est.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/gaussian_mixture.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/gaussian_process.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/gm_dc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/gpl.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/gpr.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/h_index.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/hiv.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/hmm.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/hmm.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/hmmpos.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/hmmpos2.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/indian_gpa.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/indian_gpadc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/iris.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/iris_c3.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/jail.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/jail.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/kalman_filter.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/kalman_filter2d.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/kalman_filtermsw.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/kbest_coin.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/kbest_hmm.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/kbest_mendel.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/kbest_win.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/lda.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/bongard.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/bongard_fixed.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/bongard_ind.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/bongard_initial.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/bongardkeys.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/es1.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/es2.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/exauc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/hmmlearn.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/mach.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/multiple_paths_learning.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/multiple_paths_simple_learning.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/muta.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/registration.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/shop.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/shop1.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/shop2.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/trains.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/learning/university.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/light.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/light.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/map1.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/map_bn.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/map_es2.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/map_es21.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/map_es2map.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/map_es2map1.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/map_es3.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/markov_chain.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/markov_chaindb.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/markov_factor.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/markov_network.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/mendel.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/mendel.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/mendel_indexc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/mendelc.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/mendelc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/mendels.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/meta.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/meta.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/metacomb.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/metamc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/mln.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/monty.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/monty.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/monty_simple.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/multiple_paths.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/multiple_paths_simple.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/mvg.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/nballs.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/nballsdc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/path.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/path.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/path_loop_chk.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/pathdb.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pcfg.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/pcfg.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pcfglr.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pcfglrdb.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pctl_slep.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/persons.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pitavit_coin.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pitavit_hmm.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pitavit_mendel.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pitavit_win.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/plcg.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/pre_plcg.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/prefix.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/rmc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/seven_scientists.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/simpson.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/simpsonmc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/slp_pcfg.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/slp_pdcg.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/sneezing.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/sneezing.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/testdb.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/threesideddice.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/threesideddice.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/threesideddicemc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/throws.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/trigger.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/trigger.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/truel.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/twosideddice.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/uwcse.cpl
+xsb-${PKGVERSION}.0/packages/pita/examples/uwcse.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/uwcse3s.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/uwcse4s.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/uwcse_indind.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/uwcse_indinds.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/uwcsemc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/var_obj.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/var_obj_geom.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/var_objdb.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/viral.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/viralmc.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/vit_coin.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/vit_hmm.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/vit_mendel.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/vit_win.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/widget.pl
+xsb-${PKGVERSION}.0/packages/pita/examples/widgetmsw.pl
+xsb-${PKGVERSION}.0/packages/pita/mcintyre.pl
+xsb-${PKGVERSION}.0/packages/pita/pita_int.pl
+xsb-${PKGVERSION}.0/packages/pita/slipcover.pl
+xsb-${PKGVERSION}.0/packages/pita/test_bddem.pl
+xsb-${PKGVERSION}.0/packages/pita/test_mc.pl
+xsb-${PKGVERSION}.0/packages/pita/test_pita.pl
+xsb-${PKGVERSION}.0/packages/pita/test_sc.pl
+xsb-${PKGVERSION}.0/packages/pita/testmc.pl
+xsb-${PKGVERSION}.0/packages/pita/testpita.pl
+xsb-${PKGVERSION}.0/packages/pita/testpitacount.P
+xsb-${PKGVERSION}.0/packages/pita/testpitaindexc.P
+xsb-${PKGVERSION}.0/packages/pita/testpitaposs.P
+xsb-${PKGVERSION}.0/packages/pita/testpitavitind.P
+xsb-${PKGVERSION}.0/packages/pita/testsc.pl
+xsb-${PKGVERSION}.0/packages/pita/testsc.sh
+xsb-${PKGVERSION}.0/packages/pitacount.P
+xsb-${PKGVERSION}.0/packages/pitaindexc.P
+xsb-${PKGVERSION}.0/packages/pitaposs.P
+xsb-${PKGVERSION}.0/packages/pitavitind.P
+xsb-${PKGVERSION}.0/packages/plow.P
+xsb-${PKGVERSION}.0/packages/rdf.P
+xsb-${PKGVERSION}.0/packages/rdf/option.P
+xsb-${PKGVERSION}.0/packages/rdf/rdf_parser.P
+xsb-${PKGVERSION}.0/packages/rdf/rdf_term_exp.P
+xsb-${PKGVERSION}.0/packages/rdf/rdf_triple.P
+xsb-${PKGVERSION}.0/packages/rdf/rdfconfig.P
+xsb-${PKGVERSION}.0/packages/rdf/rewrite.P
+xsb-${PKGVERSION}.0/packages/regmatch.P
+xsb-${PKGVERSION}.0/packages/regmatch.xwam
+xsb-${PKGVERSION}.0/packages/regmatch/Makefile
+xsb-${PKGVERSION}.0/packages/regmatch/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/regmatch/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/regmatch/cc/xsb_re_match.H
+xsb-${PKGVERSION}.0/packages/regmatch/cc/xsb_re_match.c
+xsb-${PKGVERSION}.0/packages/regmatch/regmtchconfig.P
+xsb-${PKGVERSION}.0/packages/regmatch/regmtchconfig.xwam
+xsb-${PKGVERSION}.0/packages/sgml.P
+xsb-${PKGVERSION}.0/packages/sgml.xwam
+xsb-${PKGVERSION}.0/packages/sgml/Makefile
+xsb-${PKGVERSION}.0/packages/sgml/TODO
+xsb-${PKGVERSION}.0/packages/sgml/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/sgml/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/sgml/cc/basic_defs.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/bin/sgml2pl.dll
+xsb-${PKGVERSION}.0/packages/sgml/cc/bin/sgml2pl.exp
+xsb-${PKGVERSION}.0/packages/sgml/cc/bin/sgml2pl.lib
+xsb-${PKGVERSION}.0/packages/sgml/cc/bin64/sgml2pl.dll
+xsb-${PKGVERSION}.0/packages/sgml/cc/bin64/sgml2pl.exp
+xsb-${PKGVERSION}.0/packages/sgml/cc/bin64/sgml2pl.lib
+xsb-${PKGVERSION}.0/packages/sgml/cc/catalog.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/catalog.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/charmap.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/common.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/deprecation.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/dtd.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/dtd/HTML4.dtd
+xsb-${PKGVERSION}.0/packages/sgml/cc/dtd/xhtml1-transitional.dtd
+xsb-${PKGVERSION}.0/packages/sgml/cc/error.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/error.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/error_term.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/fetch_file.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/model.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/model.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/parser.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/parser.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/quote.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/sgml2pl.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/sgmldefs.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/sgmlutil.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/sgmlutil.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/socketcall.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/utf8.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/utf8.h
+xsb-${PKGVERSION}.0/packages/sgml/cc/xmlns.c
+xsb-${PKGVERSION}.0/packages/sgml/cc/xmlns.h
+xsb-${PKGVERSION}.0/packages/sgml/sgmlconfig.P
+xsb-${PKGVERSION}.0/packages/slx.P
+xsb-${PKGVERSION}.0/packages/slx.xwam
+xsb-${PKGVERSION}.0/packages/slx/Makefile
+xsb-${PKGVERSION}.0/packages/slx/slxshell.P
+xsb-${PKGVERSION}.0/packages/slx/slxshell.xwam
+xsb-${PKGVERSION}.0/packages/viewsys.P
+xsb-${PKGVERSION}.0/packages/viewsys/cat_script.sh
+xsb-${PKGVERSION}.0/packages/viewsys/doc/README
+xsb-${PKGVERSION}.0/packages/viewsys/doc/view_sys.pdf
+xsb-${PKGVERSION}.0/packages/viewsys/doc/viewsys_format.P
+xsb-${PKGVERSION}.0/packages/viewsys/examples/viewsys_toy/README
+xsb-${PKGVERSION}.0/packages/viewsys/examples/viewsys_toy/dfile.P
+xsb-${PKGVERSION}.0/packages/viewsys/examples/viewsys_toy/efile.P
+xsb-${PKGVERSION}.0/packages/viewsys/examples/viewsys_toy/viewsys_view_info.P
+xsb-${PKGVERSION}.0/packages/viewsys/view_sys.P
+xsb-${PKGVERSION}.0/packages/w4/builtins.P
+xsb-${PKGVERSION}.0/packages/w4/example.G
+xsb-${PKGVERSION}.0/packages/w4/example.P
+xsb-${PKGVERSION}.0/packages/w4/example.txt
+xsb-${PKGVERSION}.0/packages/w4/gwfsxpengine.P
+xsb-${PKGVERSION}.0/packages/w4/index.htm
+xsb-${PKGVERSION}.0/packages/w4/index2.htm
+xsb-${PKGVERSION}.0/packages/w4/iostream.P
+xsb-${PKGVERSION}.0/packages/w4/iri.P
+xsb-${PKGVERSION}.0/packages/w4/iri.htm
+xsb-${PKGVERSION}.0/packages/w4/iriparse.G
+xsb-${PKGVERSION}.0/packages/w4/iriparse.P
+xsb-${PKGVERSION}.0/packages/w4/lookupdcg.P
+xsb-${PKGVERSION}.0/packages/w4/lookupdcg.htm
+xsb-${PKGVERSION}.0/packages/w4/parserexp.P
+xsb-${PKGVERSION}.0/packages/w4/predparserint.P
+xsb-${PKGVERSION}.0/packages/w4/prologread.P
+xsb-${PKGVERSION}.0/packages/w4/prologwrite.P
+xsb-${PKGVERSION}.0/packages/w4/readgram.P
+xsb-${PKGVERSION}.0/packages/w4/rulebase.P
+xsb-${PKGVERSION}.0/packages/w4/ruleml.P
+xsb-${PKGVERSION}.0/packages/w4/rulemlindex.htm
+xsb-${PKGVERSION}.0/packages/w4/rulemlread.P
+xsb-${PKGVERSION}.0/packages/w4/rulemlwrite.P
+xsb-${PKGVERSION}.0/packages/w4/taxonomy.P
+xsb-${PKGVERSION}.0/packages/w4/taxonomy.ruleml
+xsb-${PKGVERSION}.0/packages/w4/testiri.P
+xsb-${PKGVERSION}.0/packages/w4/unused.G
+xsb-${PKGVERSION}.0/packages/w4/uri.P
+xsb-${PKGVERSION}.0/packages/w4/utf.P
+xsb-${PKGVERSION}.0/packages/w4/utilities.P
+xsb-${PKGVERSION}.0/packages/w4/w4small.GIF
+xsb-${PKGVERSION}.0/packages/w4/xml.P
+xsb-${PKGVERSION}.0/packages/w4/xml2termns.P
+xsb-${PKGVERSION}.0/packages/w4/xmlcanonicalization.P
+xsb-${PKGVERSION}.0/packages/w4/xmlchars.G
+xsb-${PKGVERSION}.0/packages/w4/xmlchars11.G
+xsb-${PKGVERSION}.0/packages/w4/xmlcommon.G
+xsb-${PKGVERSION}.0/packages/w4/xmldom.H
+xsb-${PKGVERSION}.0/packages/w4/xmldom.P
+xsb-${PKGVERSION}.0/packages/w4/xmldom.htm
+xsb-${PKGVERSION}.0/packages/w4/xmldtd.G
+xsb-${PKGVERSION}.0/packages/w4/xmlparser.G
+xsb-${PKGVERSION}.0/packages/w4/xmlparser.H
+xsb-${PKGVERSION}.0/packages/w4/xmlparser.P
+xsb-${PKGVERSION}.0/packages/wildmatch.P
+xsb-${PKGVERSION}.0/packages/wildmatch.xwam
+xsb-${PKGVERSION}.0/packages/wildmatch/Makefile
+xsb-${PKGVERSION}.0/packages/wildmatch/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/wildmatch/cc/xsb_wildmatch.H
+xsb-${PKGVERSION}.0/packages/wildmatch/cc/xsb_wildmatch.c
+xsb-${PKGVERSION}.0/packages/wildmatch/wldmtchconfig.P
+xsb-${PKGVERSION}.0/packages/wildmatch/wldmtchconfig.xwam
+xsb-${PKGVERSION}.0/packages/xasp.P
+xsb-${PKGVERSION}.0/packages/xasp/Makefile
+xsb-${PKGVERSION}.0/packages/xasp/README.Win32
+xsb-${PKGVERSION}.0/packages/xasp/doc/LICENSE
+xsb-${PKGVERSION}.0/packages/xasp/doc/README
+xsb-${PKGVERSION}.0/packages/xasp/doc/main.P
+xsb-${PKGVERSION}.0/packages/xasp/doc/xasp_format.P
+xsb-${PKGVERSION}.0/packages/xasp/doc/xnmr.doc
+xsb-${PKGVERSION}.0/packages/xasp/intf_examples/cook_ex.P
+xsb-${PKGVERSION}.0/packages/xasp/intf_examples/cooked_choice.P
+xsb-${PKGVERSION}.0/packages/xasp/intf_examples/exwfs.P
+xsb-${PKGVERSION}.0/packages/xasp/intf_examples/lowlevel_ex.H
+xsb-${PKGVERSION}.0/packages/xasp/intf_examples/lowlevel_ex.P
+xsb-${PKGVERSION}.0/packages/xasp/intf_examples/rawex.P
+xsb-${PKGVERSION}.0/packages/xasp/makefiles/smoMakefile.OSX-10.3
+xsb-${PKGVERSION}.0/packages/xasp/makefiles/smoMakefile.OSX-10.4
+xsb-${PKGVERSION}.0/packages/xasp/makelinks.sh
+xsb-${PKGVERSION}.0/packages/xasp/patch-smodels-2.27
+xsb-${PKGVERSION}.0/packages/xasp/patch-smodels-2.31
+xsb-${PKGVERSION}.0/packages/xasp/prologMake.P
+xsb-${PKGVERSION}.0/packages/xasp/sm_clause_store.P
+xsb-${PKGVERSION}.0/packages/xasp/sm_int.H
+xsb-${PKGVERSION}.0/packages/xasp/sm_int.P
+xsb-${PKGVERSION}.0/packages/xasp/smodels/CHANGES
+xsb-${PKGVERSION}.0/packages/xasp/smodels/COPYING
+xsb-${PKGVERSION}.0/packages/xasp/smodels/Makefile
+xsb-${PKGVERSION}.0/packages/xasp/smodels/Makefile.osx
+xsb-${PKGVERSION}.0/packages/xasp/smodels/api.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/api.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/atomrule.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/atomrule.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/dcl.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/dcl.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/defines.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/denant.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/improve.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/list.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/list.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/main.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/print.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/program.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/program.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/queue.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/queue.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/read.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/read.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/restart.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/restart.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/smodels.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/smodels.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/stable.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/stable.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/stack.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/stack.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/timer.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/timer.h
+xsb-${PKGVERSION}.0/packages/xasp/smodels/tree.cc
+xsb-${PKGVERSION}.0/packages/xasp/smodels/tree.h
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/cook_ex.P
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/cook_ex_old
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/cooked_choice.P
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/cooked_choice_old
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/rawex.P
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/rawex_old
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/test.sh
+xsb-${PKGVERSION}.0/packages/xasp/tests/basic_tests/xnmr_int1_old
+xsb-${PKGVERSION}.0/packages/xasp/tests/gentest.sh
+xsb-${PKGVERSION}.0/packages/xasp/tests/testall.sh
+xsb-${PKGVERSION}.0/packages/xasp/tests/testsuite.sh
+xsb-${PKGVERSION}.0/packages/xasp/xasp.h
+xsb-${PKGVERSION}.0/packages/xasp/xasppkg.H
+xsb-${PKGVERSION}.0/packages/xasp/xasppkg.c
+xsb-${PKGVERSION}.0/packages/xasp/xasppkg.def
+xsb-${PKGVERSION}.0/packages/xasp/xnmr.H
+xsb-${PKGVERSION}.0/packages/xasp/xnmr.P
+xsb-${PKGVERSION}.0/packages/xasp/xnmr.doc
+xsb-${PKGVERSION}.0/packages/xasp/xnmr_int.H
+xsb-${PKGVERSION}.0/packages/xasp/xnmr_int.P
+xsb-${PKGVERSION}.0/packages/xasp/xsb_wrap_xasppkg.c
+xsb-${PKGVERSION}.0/packages/xmc.P
+xsb-${PKGVERSION}.0/packages/xmc/GUI/close.bmp
+xsb-${PKGVERSION}.0/packages/xmc/GUI/false.gif
+xsb-${PKGVERSION}.0/packages/xmc/GUI/mck.tcl
+xsb-${PKGVERSION}.0/packages/xmc/GUI/mclistbox.tcl
+xsb-${PKGVERSION}.0/packages/xmc/GUI/node.bmp
+xsb-${PKGVERSION}.0/packages/xmc/GUI/open.bmp
+xsb-${PKGVERSION}.0/packages/xmc/GUI/tcl_interface.P
+xsb-${PKGVERSION}.0/packages/xmc/GUI/true.gif
+xsb-${PKGVERSION}.0/packages/xmc/GUI/xmc.tcl
+xsb-${PKGVERSION}.0/packages/xmc/GUI/xsb_interface.tcl
+xsb-${PKGVERSION}.0/packages/xmc/Makefile
+xsb-${PKGVERSION}.0/packages/xmc/README
+xsb-${PKGVERSION}.0/packages/xmc/annot.P
+xsb-${PKGVERSION}.0/packages/xmc/attr.h
+xsb-${PKGVERSION}.0/packages/xmc/ccs.P
+xsb-${PKGVERSION}.0/packages/xmc/comp.H
+xsb-${PKGVERSION}.0/packages/xmc/comp.P
+xsb-${PKGVERSION}.0/packages/xmc/comp1.P
+xsb-${PKGVERSION}.0/packages/xmc/comp2.P
+xsb-${PKGVERSION}.0/packages/xmc/count.H
+xsb-${PKGVERSION}.0/packages/xmc/count.P
+xsb-${PKGVERSION}.0/packages/xmc/driver.c
+xsb-${PKGVERSION}.0/packages/xmc/formula.H
+xsb-${PKGVERSION}.0/packages/xmc/formula.P
+xsb-${PKGVERSION}.0/packages/xmc/gui.H
+xsb-${PKGVERSION}.0/packages/xmc/gui.P
+xsb-${PKGVERSION}.0/packages/xmc/justify.H
+xsb-${PKGVERSION}.0/packages/xmc/justify.P
+xsb-${PKGVERSION}.0/packages/xmc/main.c
+xsb-${PKGVERSION}.0/packages/xmc/models_rule.P
+xsb-${PKGVERSION}.0/packages/xmc/mucalculus.H
+xsb-${PKGVERSION}.0/packages/xmc/mucalculus.P
+xsb-${PKGVERSION}.0/packages/xmc/navigate.H
+xsb-${PKGVERSION}.0/packages/xmc/navigate.P
+xsb-${PKGVERSION}.0/packages/xmc/quad.H
+xsb-${PKGVERSION}.0/packages/xmc/quad.P
+xsb-${PKGVERSION}.0/packages/xmc/reader.P
+xsb-${PKGVERSION}.0/packages/xmc/runlib.P
+xsb-${PKGVERSION}.0/packages/xmc/script.P
+xsb-${PKGVERSION}.0/packages/xmc/setpath.P
+xsb-${PKGVERSION}.0/packages/xmc/simgui.H
+xsb-${PKGVERSION}.0/packages/xmc/simgui.P
+xsb-${PKGVERSION}.0/packages/xmc/stdtype.P
+xsb-${PKGVERSION}.0/packages/xmc/tcl_interface.H
+xsb-${PKGVERSION}.0/packages/xmc/tcl_interface.P
+xsb-${PKGVERSION}.0/packages/xmc/trans.H
+xsb-${PKGVERSION}.0/packages/xmc/trans.P
+xsb-${PKGVERSION}.0/packages/xmc/typecheck.H
+xsb-${PKGVERSION}.0/packages/xmc/typecheck.P
+xsb-${PKGVERSION}.0/packages/xmc/util.H
+xsb-${PKGVERSION}.0/packages/xmc/util.P
+xsb-${PKGVERSION}.0/packages/xmc/xl.l
+xsb-${PKGVERSION}.0/packages/xmc/xl.y
+xsb-${PKGVERSION}.0/packages/xmc/xlparse.H
+xsb-${PKGVERSION}.0/packages/xmc/xlparse.c
+xsb-${PKGVERSION}.0/packages/xmc/xmc-gui
+xsb-${PKGVERSION}.0/packages/xmc/xmc.H
+xsb-${PKGVERSION}.0/packages/xmc/xmc.P
+xsb-${PKGVERSION}.0/packages/xpath.P
+xsb-${PKGVERSION}.0/packages/xpath/Installation_summary
+xsb-${PKGVERSION}.0/packages/xpath/Misc/xpath_init-wind.P
+xsb-${PKGVERSION}.0/packages/xpath/cc/NMakefile.mak
+xsb-${PKGVERSION}.0/packages/xpath/cc/NMakefile64.mak
+xsb-${PKGVERSION}.0/packages/xpath/cc/README
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/iconv.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/iconv.lib
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/libxml2.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/libxml2.lib
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/xpathparser.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/xpathparser.exp
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/xpathparser.lib
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/zlib.lib
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin/zlib1.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/libcharset-1.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/libiconv-2.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/libxml2-2.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/libxml2-2.lib
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/mklib.bat
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/xpathparser.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/xpathparser.exp
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/xpathparser.lib
+xsb-${PKGVERSION}.0/packages/xpath/cc/bin64/zlib1.dll
+xsb-${PKGVERSION}.0/packages/xpath/cc/fetch_file.c
+xsb-${PKGVERSION}.0/packages/xpath/cc/iconv.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/DOCBparser.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/HTMLparser.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/HTMLtree.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/SAX.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/SAX2.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/c14n.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/catalog.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/chvalid.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/debugXML.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/dict.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/encoding.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/entities.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/globals.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/hash.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/list.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/nanoftp.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/nanohttp.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/parser.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/parserInternals.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/pattern.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/relaxng.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/schemasInternals.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/threads.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/tree.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/uri.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/valid.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xinclude.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xlink.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlIO.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlautomata.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlerror.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlexports.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlmemory.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlmodule.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlreader.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlregexp.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlsave.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlschemas.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlschemastypes.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlstring.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlunicode.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlversion.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlwin32version.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xmlwriter.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xpath.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xpathInternals.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/libxml/xpointer.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/socketcall.h
+xsb-${PKGVERSION}.0/packages/xpath/cc/xpathparser.c
+xsb-${PKGVERSION}.0/packages/xpath/config.log
+xsb-${PKGVERSION}.0/packages/xpath/config.status
+xsb-${PKGVERSION}.0/packages/xpath/configure
+xsb-${PKGVERSION}.0/packages/xpath/configure.in
+xsb-${PKGVERSION}.0/packages/xpath/xml2-config
+xsb-${PKGVERSION}.0/packages/xpath/xpath_init.P
+xsb-${PKGVERSION}.0/packages/xpath/xpath_init.in
+xsb-${PKGVERSION}.0/packages/xpath/xpathconfig.P
+xsb-${PKGVERSION}.0/packages/xref.P
+xsb-${PKGVERSION}.0/packages/xref/Makefile
+xsb-${PKGVERSION}.0/packages/xref/xxref.H
+xsb-${PKGVERSION}.0/packages/xref/xxref.P
+xsb-${PKGVERSION}.0/packages/xsbdoc.P
+xsb-${PKGVERSION}.0/packages/xsbdoc.xwam
+xsb-${PKGVERSION}.0/packages/xsbdoc/Makefile
+xsb-${PKGVERSION}.0/packages/xsbdoc/README
+xsb-${PKGVERSION}.0/packages/xsbdoc/alist.bst
+xsb-${PKGVERSION}.0/packages/xsbdoc/autodoc.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/autodocformats.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/basic_props.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/ciaoaux.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/Copyright.Manuals
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/Generating.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/Intro.xsbdoc
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/README.xsbdoc
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/all.bib
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/assertions_props.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/comments.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/doc/xsbdoc_format.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/full_ciao_ops.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/init_ciao_flags.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/lpdoc.bst
+xsb-${PKGVERSION}.0/packages/xsbdoc/rewrite_command.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/usage_message.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/xsbdoc1.P
+xsb-${PKGVERSION}.0/packages/xsbdoc/xsbdoc_term_proc.P
+xsb-${PKGVERSION}.0/packages/xsbpy.P
+xsb-${PKGVERSION}.0/packages/xsbpy/.gitignore
+xsb-${PKGVERSION}.0/packages/xsbpy/Installation_summary
+xsb-${PKGVERSION}.0/packages/xsbpy/README
+xsb-${PKGVERSION}.0/packages/xsbpy/aclocal.m4
+xsb-${PKGVERSION}.0/packages/xsbpy/add_python_path.py
+xsb-${PKGVERSION}.0/packages/xsbpy/config.log
+xsb-${PKGVERSION}.0/packages/xsbpy/config.status
+xsb-${PKGVERSION}.0/packages/xsbpy/configure
+xsb-${PKGVERSION}.0/packages/xsbpy/configure.ac
+xsb-${PKGVERSION}.0/packages/xsbpy/configvars.in
+xsb-${PKGVERSION}.0/packages/xsbpy/configvars.sh
+xsb-${PKGVERSION}.0/packages/xsbpy/getpaths.py
+xsb-${PKGVERSION}.0/packages/xsbpy/init_xsbpy.P
+xsb-${PKGVERSION}.0/packages/xsbpy/m4/m4_ax_python.m4
+xsb-${PKGVERSION}.0/packages/xsbpy/pp_py.P
+xsb-${PKGVERSION}.0/packages/xsbpy/px/.gitignore
+xsb-${PKGVERSION}.0/packages/xsbpy/px/PX1.ipynb
+xsb-${PKGVERSION}.0/packages/xsbpy/px/px.P
+xsb-${PKGVERSION}.0/packages/xsbpy/px/px.py
+xsb-${PKGVERSION}.0/packages/xsbpy/px/px_clpr.P
+xsb-${PKGVERSION}.0/packages/xsbpy/px/px_test.P
+xsb-${PKGVERSION}.0/packages/xsbpy/px/px_test.sh
+xsb-${PKGVERSION}.0/packages/xsbpy/px/px_test_old.txt
+xsb-${PKGVERSION}.0/packages/xsbpy/px/setup.py
+xsb-${PKGVERSION}.0/packages/xsbpy/px/tpx.py
+xsb-${PKGVERSION}.0/packages/xsbpy/px/xsbext.c
+xsb-${PKGVERSION}.0/packages/xsbpy/px/xsbpy_common.c
+xsb-${PKGVERSION}.0/packages/xsbpy/px_configure.sh
+xsb-${PKGVERSION}.0/packages/xsbpy/px_mk_setup.P
+xsb-${PKGVERSION}.0/packages/xsbpy/px_mk_setup_query.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/emma.txt
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/gentest.sh
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/sample.nq
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/sample.nt
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/sample.ttl
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/test.sh
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_elastic.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_elastic.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_faiss.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_faiss.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_faiss_numpy.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_fasttext.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_fasttext.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_googleTrans.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_json.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_rdflib.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_rdflib.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_rdflib_nq_old
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_rdflib_nt_old
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_rdflib_ttl_old
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_spacy.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_spacy.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_wd.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_wdi.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_wdi.py
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_xmldict.P
+xsb-${PKGVERSION}.0/packages/xsbpy/starters/xp_xmldict.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/.gitignore
+xsb-${PKGVERSION}.0/packages/xsbpy/test/Person.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/jintf.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/kwargs.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/numpexamp.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/returnVal.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/sample.json
+xsb-${PKGVERSION}.0/packages/xsbpy/test/stressTest.P
+xsb-${PKGVERSION}.0/packages/xsbpy/test/stressTest.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/sumlist3.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/test.sh
+xsb-${PKGVERSION}.0/packages/xsbpy/test/testSuite.P
+xsb-${PKGVERSION}.0/packages/xsbpy/test/test_err.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/test_xsbpy_out_old
+xsb-${PKGVERSION}.0/packages/xsbpy/test/testc.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/tupInList.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/tupletest.py
+xsb-${PKGVERSION}.0/packages/xsbpy/test/variadic.py
+xsb-${PKGVERSION}.0/packages/xsbpy/xp_utils.P
+xsb-${PKGVERSION}.0/packages/xsbpy/xp_utils.py
+xsb-${PKGVERSION}.0/packages/xsbpy/xsb2py_connect_defs.h
+xsb-${PKGVERSION}.0/packages/xsbpy/xsb2py_connect_defs.in
+xsb-${PKGVERSION}.0/packages/xsbpy/xsbpy_defs.h
+xsb-${PKGVERSION}.0/packages/xsbpy/xsbpy_info.P
+xsb-${PKGVERSION}.0/packages/xsbpy/xsbpy_info.in
+xsb-${PKGVERSION}.0/packages/xsbpy/xsbpym.H
+xsb-${PKGVERSION}.0/packages/xsbpy/xsbpym.c
+xsb-${PKGVERSION}.0/prolog_includes/char_defs.h
+xsb-${PKGVERSION}.0/prolog_includes/http_errors.h
+xsb-${PKGVERSION}.0/prolog_includes/standard.h
+xsb-${PKGVERSION}.0/syslib/assert.xwam
+xsb-${PKGVERSION}.0/syslib/atts.xwam
+xsb-${PKGVERSION}.0/syslib/banner.xwam
+xsb-${PKGVERSION}.0/syslib/basics.xwam
+xsb-${PKGVERSION}.0/syslib/ccallxsb.xwam
+xsb-${PKGVERSION}.0/syslib/consult.xwam
+xsb-${PKGVERSION}.0/syslib/curr_sym.xwam
+xsb-${PKGVERSION}.0/syslib/dbclause.xwam
+xsb-${PKGVERSION}.0/syslib/dcg.xwam
+xsb-${PKGVERSION}.0/syslib/debugger.xwam
+xsb-${PKGVERSION}.0/syslib/debugger_data.P
+xsb-${PKGVERSION}.0/syslib/debugger_data.xwam
+xsb-${PKGVERSION}.0/syslib/domain.xwam
+xsb-${PKGVERSION}.0/syslib/error_handler.xwam
+xsb-${PKGVERSION}.0/syslib/eval.xwam
+xsb-${PKGVERSION}.0/syslib/file_io.xwam
+xsb-${PKGVERSION}.0/syslib/file_op.xwam
+xsb-${PKGVERSION}.0/syslib/gensym.xwam
+xsb-${PKGVERSION}.0/syslib/hilogsym.xwam
+xsb-${PKGVERSION}.0/syslib/increval.xwam
+xsb-${PKGVERSION}.0/syslib/loader.xwam
+xsb-${PKGVERSION}.0/syslib/machine.xwam
+xsb-${PKGVERSION}.0/syslib/num_vars.xwam
+xsb-${PKGVERSION}.0/syslib/open_url.xwam
+xsb-${PKGVERSION}.0/syslib/push_io.xwam
+xsb-${PKGVERSION}.0/syslib/setof.xwam
+xsb-${PKGVERSION}.0/syslib/shell.xwam
+xsb-${PKGVERSION}.0/syslib/standard.xwam
+xsb-${PKGVERSION}.0/syslib/std_xsb.xwam
+xsb-${PKGVERSION}.0/syslib/string.xwam
+xsb-${PKGVERSION}.0/syslib/sub_atom.xwam
+xsb-${PKGVERSION}.0/syslib/subsumes.xwam
+xsb-${PKGVERSION}.0/syslib/sysinitrc.xwam
+xsb-${PKGVERSION}.0/syslib/tables.xwam
+xsb-${PKGVERSION}.0/syslib/term_exp.xwam
+xsb-${PKGVERSION}.0/syslib/thread.xwam
+xsb-${PKGVERSION}.0/syslib/unix.xwam
+xsb-${PKGVERSION}.0/syslib/write_term.xwam
+xsb-${PKGVERSION}.0/syslib/x_interp.xwam
+xsb-${PKGVERSION}.0/syslib/xcallxsb.xwam
+xsb-${PKGVERSION}.0/syslib/xsb_hook.xwam
+xsb-${PKGVERSION}.0/syslib/xsb_read.xwam
+xsb-${PKGVERSION}.0/syslib/xsb_writ.xwam
+xsb-${PKGVERSION}.0/syslib/xsbbrat.xwam
+@pkgdir xsb-${PKGVERSION}.0/config/x86_64-unknown-netbsd9.2/saved.o
diff --git a/xsb/patches/patch-configure b/xsb/patches/patch-configure
index 3791fe9f35..f22523e7fc 100644
--- a/xsb/patches/patch-configure
+++ b/xsb/patches/patch-configure
@@ -24,11 +24,17 @@ $NetBSD$
*) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
esac
-@@ -7457,6 +7459,11 @@ case "$canonical" in
+@@ -7457,6 +7459,17 @@ case "$canonical" in
;;
esac
;;
+ *netbsd* )
++ $as_echo "#define FOREIGN_ELF 1" >>confdefs.h
++
++ if test "$__export_dynamic" = "yes" ; then
++ LDFLAGS="${LDFLAGS} -Wl,-export-dynamic"
++ fi
++
+ if test "${have_pthread}" != "no" ; then
+ LDFLAGS="${LDFLAGS} -lpthread"
+ fi
@@ -36,7 +42,7 @@ $NetBSD$
*freebsd* ) $as_echo "#define FREEBSD 1" >>confdefs.h
$as_echo "#define FOREIGN_ELF 1" >>confdefs.h
-@@ -8326,7 +8333,7 @@ ac_config_headers="$ac_config_headers '"
+@@ -8326,7 +8339,7 @@ ac_config_headers="$ac_config_headers '"
@@ -45,7 +51,7 @@ $NetBSD$
cat >confcache <<\_ACEOF
# This file is a shell script that caches the results of configure
-@@ -9018,7 +9027,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_wri
+@@ -9018,7 +9033,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_wri
for ac_config_target in $ac_config_targets
do
case $ac_config_target in
@@ -54,7 +60,7 @@ $NetBSD$
"'"${arch_config_prefix}/xsb_config.h"'") CONFIG_HEADERS="$CONFIG_HEADERS '"${arch_config_prefix}/xsb_config.h"':${config_dot_h_templ}" ;;
"windows/xsb_config.h") CONFIG_HEADERS="$CONFIG_HEADERS windows/xsb_config.h:windows/def_config.in" ;;
"windows/xsb_debug.h") CONFIG_HEADERS="$CONFIG_HEADERS windows/xsb_debug.h:def_debug.in" ;;
-@@ -9042,7 +9051,7 @@ do
+@@ -9042,7 +9057,7 @@ do
"windows64/banner.msg") CONFIG_FILES="$CONFIG_FILES windows64/banner.msg:windows64/banner.in" ;;
"windows/MSVC_mkfile.mak") CONFIG_FILES="$CONFIG_FILES windows/MSVC_mkfile.mak:windows/MSVC_mkfile.in" ;;
"windows64/MSVC_mkfile.mak") CONFIG_FILES="$CONFIG_FILES windows64/MSVC_mkfile.mak:windows64/MSVC_mkfile.in" ;;
Home |
Main Index |
Thread Index |
Old Index