pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
ats2: Import ats2-0.3.6 as wip/ats2
Module Name: pkgsrc-wip
Committed By: Mateusz Poszwa <old4%o2.pl@localhost>
Pushed By: f8l
Date: Tue Aug 22 20:58:57 2017 +0200
Changeset: daa2f51c118261cb3314f29b47b88e6633dd1105
Modified Files:
Makefile
Added Files:
ats2/DESCR
ats2/Makefile
ats2/PLIST
ats2/TODO
ats2/distinfo
ats2/patches/patch-Makefile
Log Message:
ats2: Import ats2-0.3.6 as wip/ats2
ATS is a statically typed programming language that unifies
implementation with formal specification. It is equipped with
a highly expressive type system rooted in the framework Applied
Type System, which gives the language its name. In particular,
both dependent types and linear types are available in ATS.
In addition, ATS contains a subsystem ATS/LF that supports a form
of (interactive) theorem-proving, where proofs are constructed as
total functions. With this subsystem, ATS is able to advocate a
programmer-centric approach to program verification that combines
programming with theorem-proving in a syntactically intertwined
manner. Furthermore, ATS/LF can also serve as a logical framework
(LF) for encoding various formal systems (such as logic systems
and type systems) together with proofs of their (meta-)properties.
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=daa2f51c118261cb3314f29b47b88e6633dd1105
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
Makefile | 1 +
ats2/DESCR | 14 +
ats2/Makefile | 21 +
ats2/PLIST | 1625 +++++++++++++++++++++++++++++++++++++++++++
ats2/TODO | 2 +
ats2/distinfo | 7 +
ats2/patches/patch-Makefile | 15 +
7 files changed, 1685 insertions(+)
diffs:
diff --git a/Makefile b/Makefile
index 82aa4bf2de..bc23101c07 100644
--- a/Makefile
+++ b/Makefile
@@ -174,6 +174,7 @@ SUBDIR+= atftp
SUBDIR+= atlas
SUBDIR+= atompaw
SUBDIR+= atool
+SUBDIR+= ats2
SUBDIR+= audiere
SUBDIR+= audio-mml
SUBDIR+= audit-system
diff --git a/ats2/DESCR b/ats2/DESCR
new file mode 100644
index 0000000000..8be7b9b95a
--- /dev/null
+++ b/ats2/DESCR
@@ -0,0 +1,14 @@
+ATS is a statically typed programming language that unifies
+implementation with formal specification. It is equipped with
+a highly expressive type system rooted in the framework Applied
+Type System, which gives the language its name. In particular,
+both dependent types and linear types are available in ATS.
+
+In addition, ATS contains a subsystem ATS/LF that supports a form
+of (interactive) theorem-proving, where proofs are constructed as
+total functions. With this subsystem, ATS is able to advocate a
+programmer-centric approach to program verification that combines
+programming with theorem-proving in a syntactically intertwined
+manner. Furthermore, ATS/LF can also serve as a logical framework
+(LF) for encoding various formal systems (such as logic systems
+and type systems) together with proofs of their (meta-)properties.
diff --git a/ats2/Makefile b/ats2/Makefile
new file mode 100644
index 0000000000..d685fc9045
--- /dev/null
+++ b/ats2/Makefile
@@ -0,0 +1,21 @@
+# $NetBSD$
+
+DISTNAME= ATS2-Postiats-0.3.6
+CATEGORIES= lang
+MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=ats2-lang/}
+EXTRACT_SUFX= .tgz
+
+MAINTAINER= pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE= http://www.ats-lang.org/
+COMMENT= Programming language unifying implementation with formal specification
+LICENSE= gnu-gpl-v3
+
+GNU_CONFIGURE= yes
+
+USE_TOOLS+= gmake
+
+MAKE_JOBS_SAFE= no
+MAKE_FLAGS+= LDFLAGS+=
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/ats2/PLIST b/ats2/PLIST
new file mode 100644
index 0000000000..03c90f3656
--- /dev/null
+++ b/ats2/PLIST
@@ -0,0 +1,1625 @@
+@comment $NetBSD$
+bin/patscc
+bin/patsopt
+lib/ats2-postiats-${PKGVERSION}/bin/patscc
+lib/ats2-postiats-${PKGVERSION}/bin/patsopt
+lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/lib/libatslib.a
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/.keeper
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_basics.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_config.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_exception.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_instrset.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_libc.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_user.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_user2.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloca.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime2_dats.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime_memalloc.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime_trywith.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_typedefs.h
+lib/ats2-postiats-${PKGVERSION}/contrib/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_ctx.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_form.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_interp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_smtenv.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_commarg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_solving.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/SATS/patsolve_smt2_commarg.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/SATS/patsolve_smt2_solving.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_ctx.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_form.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_interp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_commarg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_solving.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/SATS/patsolve_z3_commarg.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/SATS/patsolve_z3_solving.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_c3nstr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_h3ypo.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_label.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_location.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2cst.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2exp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2var.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2vvar.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s3itm.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_stamp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_symbol.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_c3nstr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_h3ypo.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_label.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2cst.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2exp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2var.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2vvar.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s3itm.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_cnstrnt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_commarg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_parsing.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/patsolve_commarg.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/patsolve_parsing.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/atscc2clj_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/atscc2clj_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/atscc2clj_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/atscc2js_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/atscc2js_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/atscc2js_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/libatscc2js_ext.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/atscc2php_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/atscc2php_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/atscc2php_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/atscc2pl_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/atscc2pl_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/atscc2pl_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/atscc2py3_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/atscc2py3_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/atscc2py3_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/atscc2scm_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/atscc2scm_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/atscc2scm_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_error.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_fname.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_fundecl.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_global.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_lexbuf.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_lexerr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_lexing.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parerr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing_d0ecl.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing_d0exp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing_instr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_posloc.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_symbol.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_syntax.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_tokbuf.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_typedef.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_emit.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_fundecl.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_parsing.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_syntax.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_typedef.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/catsparse_all.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/catsparse_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/deque.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/queue.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/stack.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/vector.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/deque_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/queue_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/stack_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/vector_array.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/vector_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_deque_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_queue_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_stack_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_vector_array.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_vector_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ats2cpp_prelude.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_basics.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_config.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_exception.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_instrset.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_gcbdw.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_libc.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user2.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloca.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_runtime.c
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_runtime_memalloc.c
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_typedefs.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/DoubletsPlay.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/GameOf24Play.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/QueenPuzzle.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/deqarray.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/dynarray.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/hashfun.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/qlist.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/stkarray.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/stringbuf.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/ML/CATS/array0.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/ML/CATS/strarr.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/dirent.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/errno.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/fcntl.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/float.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/math.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/signal.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/stdio.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/stdlib.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/string.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/strings.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/sys/stat.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/sys/types.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/sys/wait.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/time.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/unistd.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/array.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/arrayptr.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/arrayref.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/basics.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/bool.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/char.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/filebas.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/float.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/fprintf.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/integer.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/integer_fixed.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/integer_long.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/integer_short.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/integer_size.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/memory.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/pointer.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/CATS/string.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/prelude/staloadall.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream_cloref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream_fileptr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream_fileref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream_fun.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream_string.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream_strptr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/DATS/cstream_tokener.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/README.md
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/DOCUGEN/HTML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/DOCUGEN/cstream.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/DOCUGEN/cstream_tokener.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/DOCUGEN/theDeclpostamble.html
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/cstream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/SATS/cstream_tokener.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/TEST/test03.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/TEST/testlib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-cstream/TEST/tokener.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/DATS/getargs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/README.md
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/SATS/getargs.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/TEST/test00
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/TEST/test00.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/TEST/test00_dats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/TEST/test01
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/TEST/test01_dats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-getargs/mylibies_link.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/HATS/gcount.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/HATS/gdeqarray.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/HATS/ghashtbl_chain.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/HATS/globvar.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/HATS/gobjptr.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/HATS/gstacklst.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/README.md
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/TEST/test03.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/TEST/test04.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/TEST/test05-1.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-globals/TEST/test05-2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/DATS/gintinf_t.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/DATS/intinf_t.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/README.md
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/DOCUGEN/HTML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/DOCUGEN/intinf.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/DOCUGEN/intinf_t.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/DOCUGEN/intinf_vt.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/DOCUGEN/theDeclpostamble.html
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/intinf.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/intinf_t.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/SATS/intinf_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/README
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/test03.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/test04.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/test05.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/TEST/test06.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/mydepies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-intinf/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/DATS/foldleft.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/DATS/randgen.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/README
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/SATS/foldleft.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/SATS/randgen.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-hx-mytesting/TEST/test03.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/CATS/curl.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/DATS/curl.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/DATS/curl_curl.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/DATS/curl_easy.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/SATS/curl.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/SATS/curl_curl.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/SATS/curl_easy.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/TEST/test00.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/TEST/testlib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libcurl/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/CATS/gmp.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/DATS/gmp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/README.md
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/HTML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/Makefile.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/Makefile_atxt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/Makefile_atxt.txt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/Makefile_atxt_dats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/declatext_dats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/declatext_dats.o
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/declatext_sats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/declatext_sats.o
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/gmp.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/gmp_atxt.txt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_atxt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_atxt.txt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_atxt_dats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_data_atxt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_dats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_dats.o
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_sats.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/htmlgendecl_sats.o
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/DOCUGEN/theDeclpostamble.html
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/SATS/gmp.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/TEST/pidigits/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/TEST/pidigits/pidigits.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libgmp/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/CATS/json.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/CATS/printbuf.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/DATS/json.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/DATS/json_ML.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/Makefile.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/arraylist.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/json.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/json_ML.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/json_object.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/json_object_iterator.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/json_tokener.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/json_util.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/linkhash.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/mybasis.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/printbuf.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/DOCUGEN/theDeclpostamble.html
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/arraylist.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/json.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/json_ML.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/json_object.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/json_object_iterator.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/json_tokener.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/json_util.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/linkhash.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/mybasis.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/SATS/printbuf.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test00.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test03.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test04.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test05.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test06.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/test07.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/TEST/testlib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libjson-c/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/CATS/pcre.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/DATS/pcre.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/DATS/pcre_ML.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/SATS/DOCUGEN/HTML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/SATS/DOCUGEN/Makefile.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/SATS/DOCUGEN/pcre.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/SATS/DOCUGEN/pcre_ML.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/SATS/DOCUGEN/theDeclpostamble.html
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/SATS/pcre.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/SATS/pcre_ML.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/test00.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/test03.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/test04.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/test05.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/TEST/test06.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-libpcre/mylibies_link.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/CATS/sdstring.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/DATS/sdstring.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/H/LICENSE
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/H/sds.c
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/H/sds.h
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/README.md
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/SATS/sdstring.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/TEST/test1.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/TEST/test2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/TEST/test3.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-sdstring/package.json
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_arithmetic.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_constapp.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_numeral.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_propeq.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_quantifier.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_solver.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_sort.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/CATS/z3_symbol.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/DOCUGEN/Makefile.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/DOCUGEN/z3.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/DOCUGEN/z3_propeq.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/DOCUGEN/z3_solver.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/DOCUGEN/z3_stringconv.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/DOCUGEN/z3_symbol.atxt
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_accessor.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_arithmetic.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_bitvector.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_constapp.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_fixedpoint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_goal.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_header.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_model.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_modifier.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_numeral.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_params.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_params_descrs.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_propeq.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_quantifier.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_solver.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_sort.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_stats.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_stringconv.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_symbol.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/SATS/z3_tactic_probe.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/TEST/test00.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb-smt-libz3/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/arrayref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/funarray.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/gmatrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/gprint.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/matrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/BUCS320/words.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/funarray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/funset_avl.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/gmatrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/gprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/gvalue.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/matrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/basics.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/DivideConquer/DATS/DivideConquer.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/GraphSearch/DATS/GraphSearch.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/GraphSearch/DATS/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/GraphSearch/DATS/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/GraphStreamize/DATS/GraphStreamize.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/GraphStreamize/DATS/GraphStreamize_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/GraphStreamize/DATS/GraphStreamize_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/parcomb/DATS/parcomb.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/parcomb/SATS/parcomb.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/BUCS320/words/SATS/words.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/arrayref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/funarray.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/gmatrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/gprint.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/matrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/funarray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/funset_avl.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/gmatrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/gprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/gvalue.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/matrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/basics.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/CLJlist_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/basics_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/bool_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/char_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/filebas_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/float_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/integer_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/print_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/CATS/reference_cats.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/CLJlist.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/gprint.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/CLJlist.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/gprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/print.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/basics_clj.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/output/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/output/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/output/DATS/ML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/output/libatscc2clj_all.clj
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/Ajax/Ajax_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/Bacon.js/baconjs_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/HTML/canvas-2d/canvas2d_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/JSarray_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/JSdate_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/JSglobal_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/JSmath_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/Node.js/basics_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/Node.js/fprint_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/Node.js/process_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/PRINT/print_store_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/basics_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/bool_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/float_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/gvalue_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/integer_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/string_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Bacon.js/baconjs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Bacon.js/baconjs_ext.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/JSarray.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/JSmath.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Number/real_double.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/channeg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/channeg_session.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/channel.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/chanpos.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/chanpos_session.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/chanpos_session2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/arrayref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/char.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/funarray.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/gmatrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/gprint.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/gvalue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/matrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/reference.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/string.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Ajax/Ajax.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/BUCS320/words.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Bacon.js/baconjs.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Bacon.js/baconjs_ext.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Bacon.js/channel.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/HTML/WebGL/WebGL.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/HTML/canvas-2d/canvas2d.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/JSarray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/JSdate.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/JSglobal.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/JSmath.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Node.js/basics.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Node.js/fprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Node.js/process.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Worker/channel.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Worker/channel_session.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/Worker/channel_session2.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/XMLDOC/XMLDOC.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/char.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/funarray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/gmatrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/gprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/gvalue.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/matrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/print.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/rpc_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/rpc_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/rpc_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_prot.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_prot.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_prot.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/basics_js.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/DATS/BUCS320/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/DATS/BUCS320/parcomb/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/DATS/Bacon.js/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/DATS/ML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/libatscc2js_all.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/libatscc2js_baconjs_all.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/output/libatscc2js_bucs320_parcomb.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/staloadall.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/DivideConquer/DATS/DivideConquer.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/DivideConquer/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/DivideConquer/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/DivideConquer/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/DATS/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/DATS/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/TEST/GameOf24Play_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/TEST/GameOf24Play_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/TEST/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/TEST/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphStreamize/DATS/GraphStreamize_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphStreamize/DATS/GraphStreamize_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphStreamize/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphStreamize/TEST/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphStreamize/TEST/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/parcomb/DATS/parcomb.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/parcomb/SATS/parcomb.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/BUCS320/words/SATS/words.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/CATS/baconjs_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/DATS/baconjs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/DATS/baconjs_ext.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/SATS/baconjs.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/SATS/baconjs_ext.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/TEST/Counter/Counter.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/TEST/Counter/Counter.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/TEST/Counter/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/TEST/Counter_bus/Counter_bus.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/TEST/Counter_bus/Counter_bus.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/TEST/Counter_bus/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/mylibies.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/package.json
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/JSarray.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/JSmath.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Number/real_double.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Worker/channeg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Worker/channeg_session.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Worker/channel.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Worker/chanpos.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Worker/chanpos_session.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Worker/chanpos_session2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/arrayref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/char.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/funarray.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/gmatrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/gprint.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/gvalue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/matrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/reference.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/string.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML5/Canvas/CATS/canvas2d_cats.js
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML5/Canvas/SATS/canvas2d.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML5/Canvas/TEST/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML5/Canvas/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML5/Canvas/package.json
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML5/WebGL/WebGL.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/Ajax/Ajax.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/HTML/WebGL/WebGL.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/HTML/canvas-2d/canvas2d.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSarray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSdate.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSglobal.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSmath.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/Node.js/basics.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/Node.js/fprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/Node.js/process.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/Worker/channel.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/Worker/channel_session.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/Worker/channel_session2.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/XMLDOC/XMLDOC.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/char.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/funarray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/gmatrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/gprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/gvalue.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/matrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/print.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/DATS/channeg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/DATS/channeg_session.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/DATS/channel.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/DATS/chanpos.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/DATS/chanpos_session.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/DATS/chanpos_session2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/SATS/channel.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/SATS/channel_session.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/SATS/channel_session2.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/rpc_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/rpc_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/rpc_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test2_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test2_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test2_prot.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test2_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test3_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test3_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test3_prot.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test3_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test_client.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test_client.html
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test_prot.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/TEST/test_server.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/mylibies.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/WorkerSession/package.json
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/basics_js.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/PHParray_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/PHParref_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/PHPref_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/bool_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/filebas_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/float_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/integer_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/print_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/CATS/string_cats.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/arrayref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/reference.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/PHParray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/PHParref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/PHPref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/print.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/basics_php.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/output/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/output/DATS/ML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/output/libatscc2php_all.php
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/staloadall.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/CATS/PLarray_cats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/CATS/bool_cats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/CATS/float_cats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/CATS/integer_cats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/CATS/print_cats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/CATS/string_cats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/reference.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/PLarray.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/print.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/TEST/test03.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/basics_pl.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/ML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/ML/array0_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/ML/list0_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/intrange_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/list_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/option_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/qlistref_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/reference_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/slistref_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/stream_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/DATS/stream_vt_dats.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/output/libatscc2pl_all.pl
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/PYGAME/pygame_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC/datetime_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC/random_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/PYlist_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/basics_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/bool_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/char_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/filebas_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/float_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/integer_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/print_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/reference_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/CATS/string_cats.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/PYlist.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/arrayref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/gprint.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/matrixref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/reference.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/DATS/string.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/BUCS320/words.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/PYGAME/pygame.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/PYLIBC/datetime.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/PYLIBC/random.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/PYlist.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/char.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/gprint.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/matrixref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/print.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/PYGAME/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/PYGAME/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/PYLIBC/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/PYLIBC/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/basics_py.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/output/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/output/DATS/ML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/output/libatscc2py3_all.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/output/libatscc2py3_all_pygame.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/output/libatscc2py3_all_pylibc.py
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/SCMlist_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/SCMvector_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/basics_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/bool_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/filebas_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/float_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/integer_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/print_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/CATS/reference_cats.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/ML/array0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/ML/list0.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/SCMlist.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/reference.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/ML/array0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/ML/list0.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/SCMlist.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/SCMvector.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/print.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/basics_scm.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/output/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/output/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/output/DATS/ML/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/output/libatscc2scm_all.scm
+lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats
+lib/ats2-postiats-${PKGVERSION}/libats/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/DATS/funheap_binomial.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/DATS/funheap_braun.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/DATS/funmset_listord.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/DATS/funset_listord.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/DATS/linset_listord.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/SATS/funheap_binomial.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/SATS/funheap_braun.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/SATS/funmset_listord.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/SATS/funset_listord.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ATS1/SATS/linset_listord.sats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/DivideConquer/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/DivideConquer/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/DivideConquer/DATS/DivideConquer.dats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/DivideConquer/DATS/DivideConquer_cont.dats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/DivideConquer/DATS/DivideConquer_memo.dats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/DivideConquer/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/GraphSearch/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/GraphSearch/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/GraphSearch/DATS/GraphSearch.dats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/GraphSearch/DATS/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/GraphSearch/DATS/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/GraphSearch/mylibies.dats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/GraphSearch/mylibies.hats
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/parcomb/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/parcomb/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/BUCS320/parcomb/DATS/parcomb.dats
+lib/ats2-postiats-${PKGVERSION}/libats/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/CATS/deqarray.cats
+lib/ats2-postiats-${PKGVERSION}/libats/CATS/dynarray.cats
+lib/ats2-postiats-${PKGVERSION}/libats/CATS/hashfun.cats
+lib/ats2-postiats-${PKGVERSION}/libats/CATS/qlist.cats
+lib/ats2-postiats-${PKGVERSION}/libats/CATS/stkarray.cats
+lib/ats2-postiats-${PKGVERSION}/libats/CATS/stringbuf.cats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/Number/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/Number/SHARE/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/Number/SHARE/float.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/Number/SHARE/real.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/Number/float_double.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/Number/real_double.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/fundeque.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/funmap.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/funmset.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/funralist.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/funset.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/hashtbl.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/linheap.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/linmap.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/linmap_node.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/linset.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/SHARE/linset_node.hats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/athread.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/athread_posix.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/bitvec.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/deqarray.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/dllist.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/dynarray.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funarray_braunt.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/fundeque_fngtree.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funmap_avltree.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funmap_list.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funmap_rbtree.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funmset_listord.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funralist_nested.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funset_avltree.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/funset_listord.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gfarray.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gflist.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gflist_vt.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gmatrix.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gmatrix_col.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gmatrix_row.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gnode.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/gvector.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/hashfun.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/hashtbl_chain.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/hashtbl_linprb.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/ilist_prf.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/lindeque_dllist.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linheap_binomial.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linheap_binomial2.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linmap_avltree.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linmap_list.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linmap_randbst.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linmap_skiplist.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linralist_nested.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linset_avltree.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/linset_listord.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/qlist.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/refcount.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/sllist.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/stkarray.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/stringbuf.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/theGetters.dats
+lib/ats2-postiats-${PKGVERSION}/libats/DATS/typeval.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ML/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ML/CATS/array0.cats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/CATS/strarr.cats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/SHARE/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/SHARE/monad.hats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/array0.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/dynarray.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/filebas.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/filebas_dirent.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/funmap.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/funset.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/gvalue.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/hashtblref.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/list0.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/matrix0.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/monad_list.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/monad_maybe.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/option0.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/qlistref.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/slistref.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/stdlib.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/strarr.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/string.dats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/HATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ML/HATS/myfunmap.hats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/HATS/myfunset.hats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/HATS/myhashtblref.hats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/SHARE/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/SHARE/monad.hats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/array0.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/basis.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/dynarray.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/funmap.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/funset.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/gvalue.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/hashtblref.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/list0.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/matrix0.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/monad_list.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/monad_maybe.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/option0.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/qlistref.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/slistref.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/stdlib.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/strarr.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/Number/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/Number/float.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/Number/real.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/fundeque.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/funmap.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/funmset.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/funralist.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/funset.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/hashtbl.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/lindeque.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/linheap.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/linmap.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/linmap_node.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/linralist.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/linset.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/SHARE/linset_node.hats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/athread.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/bitvec.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/deqarray.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/dllist.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/dynarray.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funarray.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/fundeque_fngtree.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funmap_avltree.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funmap_list.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funmap_rbtree.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funmset_listord.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funralist_nested.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funset_avltree.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/funset_listord.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gfarray.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gflist.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gflist_vt.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gmatrix.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gmatrix_col.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gmatrix_row.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gnode.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/gvector.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/hashfun.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/hashtbl_chain.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/hashtbl_linprb.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/ilist_prf.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/lindeque_dllist.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linheap_binomial.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linmap_avltree.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linmap_list.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linmap_randbst.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linmap_skiplist.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linralist_nested.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linset_avltree.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/linset_listord.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/qlist.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/refcount.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/sllist.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/stkarray.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/stringbuf.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/theGetters.sats
+lib/ats2-postiats-${PKGVERSION}/libats/SATS/typeval.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/alloca.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/arpa/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/arpa/inet.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/dirent.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/dlfcn.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/errno.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/fcntl.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/float.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/fnmatch.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/gdbm/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/gdbm/datum.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/gdbm/gdbm.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/malloc.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/math.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/netinet/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/netinet/in.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/signal.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/stdio.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/stdlib.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/string.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/strings.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/mman.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/socket.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/socket_in.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/stat.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/time.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/types.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/sys/wait.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/time.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/CATS/unistd.cats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/arpa/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/dirent.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/errno.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/fcntl.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/float.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/gdbm/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/math.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/netinet/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/stdio.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/stdlib.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/string.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/strings.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/sys/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/sys/socket.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/sys/socket_in.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/sys/stat.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/sys/types.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/time.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/DATS/unistd.dats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/alloca.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/arpa/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/arpa/inet.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/dirent.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/dlfcn.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/errno.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/fcntl.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/fnmatch.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/gdbm/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/gdbm/SHARE/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/gdbm/SHARE/datum.hats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/gdbm/gdbm.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/malloc.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/math.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/netinet/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/netinet/in.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/signal.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/stddef.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/stdio.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/stdlib.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/strings.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/.keeper
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/mman.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/socket.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/socket_in.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/stat.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/time.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/types.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/sys/wait.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/time.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/unistd.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/unistd_pathconf.sats
+lib/ats2-postiats-${PKGVERSION}/libats/libc/SATS/unistd_sysconf.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/.keeper
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/array.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/arrayptr.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/arrayref.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/basics.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/bool.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/char.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/filebas.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/float.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/fprintf.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/integer.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/integer_fixed.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/integer_long.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/integer_ptr.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/integer_short.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/integer_size.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/list.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/matrix.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/matrixptr.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/memory.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/option.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/pointer.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/string.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/CATS/strptr.cats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/.keeper
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/array_bsearch.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/array_quicksort.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gnumber_float.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gnumber_int.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gnumber_uint.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gorder_bool.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gorder_char.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gorder_float.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gorder_int.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gorder_string.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/gorder_uint.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/list_vt_mergesort.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/SHARE/list_vt_quicksort.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/arith_prf.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/array.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/array_prf.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/arrayptr.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/arrayref.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/basics.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/bool.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/char.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/checkast.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/fcontainer.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/fcontainer_foreach.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/filebas.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/filebas_prf.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/float.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/giter_array.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/giter_list.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/giter_list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/giterator.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/gnumber.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/gorder.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/gprint.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/grandom.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/integer.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/integer_fixed.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/integer_long.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/integer_ptr.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/integer_short.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/integer_size.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/intrange.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/list.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/list_vt.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/matrix.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/matrixptr.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/matrixref.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/memory.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/option.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/option_vt.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/parray.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/pointer.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/reference.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/stream.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/stream_vt.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/string.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/strptr.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/tostring.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/tuple.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/DATS/unsafe.dats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/arith_prf.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/array.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/array_prf.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/arrayptr.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/arrayref.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/bool.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/char.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/checkast.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/extern.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/fcontainer.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/filebas.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/float.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/giterator.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/gnumber.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/gorder.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/gprint.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/grandom.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/integer.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/integer_fixed.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/integer_long.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/integer_ptr.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/integer_short.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/integer_size.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/intrange.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/list.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/list_vt.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/matrix.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/matrixptr.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/matrixref.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/memory.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/option.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/option_vt.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/parray.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/pointer.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/reference.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/stream.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/stream_vt.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/string.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/strptr.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/tostring.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/tuple.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/SATS/unsafe.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/basics_dyn.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/basics_gen.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/basics_pre.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/basics_sta.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/fixity.ats
+lib/ats2-postiats-${PKGVERSION}/prelude/lmacrodef.hats
+lib/ats2-postiats-${PKGVERSION}/prelude/macrodef.sats
+lib/ats2-postiats-${PKGVERSION}/prelude/params.hats
+lib/ats2-postiats-${PKGVERSION}/share/.keeper
+lib/ats2-postiats-${PKGVERSION}/share/H/.keeper
+lib/ats2-postiats-${PKGVERSION}/share/H/pats_atslib.h
+lib/ats2-postiats-${PKGVERSION}/share/HATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/share/HATS/atslib_staload_libats_libc.hats
+lib/ats2-postiats-${PKGVERSION}/share/HATS/atspre_define_pkgreloc.hats
+lib/ats2-postiats-${PKGVERSION}/share/HATS/atspre_staload_libats_ML.hats
+lib/ats2-postiats-${PKGVERSION}/share/Makefile.gen
+lib/ats2-postiats-${PKGVERSION}/share/atsmake-post.mk
+lib/ats2-postiats-${PKGVERSION}/share/atsmake-pre.mk
+lib/ats2-postiats-${PKGVERSION}/share/atspre_define.hats
+lib/ats2-postiats-${PKGVERSION}/share/atspre_staload.hats
+@pkgdir lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/BUCS320
+@pkgdir lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/output
+@pkgdir lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/lib64
+@pkgdir lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/lib32
diff --git a/ats2/TODO b/ats2/TODO
new file mode 100644
index 0000000000..ad74142bce
--- /dev/null
+++ b/ats2/TODO
@@ -0,0 +1,2 @@
+Get rid of ‘cp -d’
+Get rid of empty .keeper files
diff --git a/ats2/distinfo b/ats2/distinfo
new file mode 100644
index 0000000000..b3e5680ec1
--- /dev/null
+++ b/ats2/distinfo
@@ -0,0 +1,7 @@
+$NetBSD$
+
+SHA1 (ATS2-Postiats-0.3.6.tgz) = 37e9640feb5712fbae52c6056c245e4791ae8eb9
+RMD160 (ATS2-Postiats-0.3.6.tgz) = 004b04a42b3f6bcd36b995e4ccbd130114fd387a
+SHA512 (ATS2-Postiats-0.3.6.tgz) = b61a2603f5f723e07a8afce0dfa4e21556e87c13cdf02c7fcc52572e2e81e3a370806d95a35b59d1496a4a57bb564a6d48715cc848de2c59228bebe762d4cd53
+Size (ATS2-Postiats-0.3.6.tgz) = 4790727 bytes
+SHA1 (patch-Makefile) = 6695c27284c2e5f765439f0d2b77c3bda3c2a5ed
diff --git a/ats2/patches/patch-Makefile b/ats2/patches/patch-Makefile
new file mode 100644
index 0000000000..0c1c01f11a
--- /dev/null
+++ b/ats2/patches/patch-Makefile
@@ -0,0 +1,15 @@
+$NetBSD$
+
+Pass all LDFLAGS to Make subprocess
+
+--- Makefile.orig 2017-06-28 14:01:52.000000000 +0000
++++ Makefile
+@@ -61,7 +61,7 @@ LDFLAGS=
+ #
+ src2_patsopt: ; \
+ $(MAKEJ4) -C src/CBOOT patsopt \
+-CCOMP=$(CCOMP) GCFLAG=$(GCFLAG) LDFLAGS=$(LDFLAGS)
++CCOMP=$(CCOMP) GCFLAG=$(GCFLAG) LDFLAGS='$(LDFLAGS)'
+ #
+ bin2_patsopt: src2_patsopt ; $(CPF) src/CBOOT/patsopt bin/patsopt
+ #
Home |
Main Index |
Thread Index |
Old Index