pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
xsb: installation and PLIST updation, package ready to use
Module Name: pkgsrc-wip
Committed By: mayuresh <mayuresh%acm.org@localhost>
Pushed By: mayuresh
Date: Sat Aug 13 00:59:19 2022 +0530
Changeset: 01176c61673f7142c9c90faa24dc1b55368efb84
Modified Files:
xsb/Makefile
xsb/PLIST
Log Message:
xsb: installation and PLIST updation, package ready to use
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=01176c61673f7142c9c90faa24dc1b55368efb84
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
xsb/Makefile | 24 +-
xsb/PLIST | 1372 ----------------------------------------------------------
2 files changed, 19 insertions(+), 1377 deletions(-)
diffs:
diff --git a/xsb/Makefile b/xsb/Makefile
index 13a036ebf2..9fae39ea0a 100644
--- a/xsb/Makefile
+++ b/xsb/Makefile
@@ -26,15 +26,29 @@ 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
+XSB_PREFIXDIR= ${DESTDIR}${PREFIX}/${XSB_VERSION_STR}
+XSB_PKGDIR= ${XSB_PREFIXDIR}/packages
do-build:
- cd ${WRKSRC} && ./makexsb fast packages
+ cd ${WRKSRC} && ./makexsb fast package
+
+# Regarding "XSB packages" : XSB makefile just copies the directories. The "XSB
+# package" makefiles do not have a proper install target. At present we are
+# just deleting the packages from the install area.
+#
+# Post installation, when a non root user runs xsb, XSB tries to compile the .P
+# again in the installation area. To avoid this we delete the .P files from the
+# package. They are not needed as their compiled counterparts .xwam files are
+# already packaged.
+
+XSB_CONFIG_NAME= `${WRKSRC}/config.guess`
+REMOVE_P+= ${XSB_PREFIXDIR}/config/${XSB_CONFIG_NAME}/lib/xsb_configuration.P
+REMOVE_P+= ${XSB_PREFIXDIR}/lib/prolog_db_doc/prolog_db_format.P
+REMOVE_P+= ${XSB_PREFIXDIR}/syslib/debugger_data.P
do-install:
- cd ${WRKSRC} && DESTDIR=${DESTDIR} ./makexsb install && \
- ${INSTALL} ${XSB_BIN} ${DESTDIR}${PREFIX}/bin
+ cd ${WRKSRC} && DESTDIR=${DESTDIR} ./makexsb install package && \
+ rm -rf ${XSB_PKGDIR} ${REMOVE_P}
.include "../../devel/pcre/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
diff --git a/xsb/PLIST b/xsb/PLIST
index d94977edee..1b20c4ed74 100644
--- a/xsb/PLIST
+++ b/xsb/PLIST
@@ -1,5 +1,4 @@
@comment $NetBSD$
-bin/xsb
xsb-${PKGVERSION}.0/bin/xsb
xsb-${PKGVERSION}.0/build/config.guess
xsb-${PKGVERSION}.0/build/config.sub
@@ -48,7 +47,6 @@ 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
@@ -611,7 +609,6 @@ 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
@@ -624,1374 +621,6 @@ 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
@@ -2005,7 +634,6 @@ 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
Home |
Main Index |
Thread Index |
Old Index