lang/ats2: Add version 0.4.2 Import from wip/ats2 by Atsushi Toyokura, Mateusz Poszwa. 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.

(nikita)

 @@ -1,28 +1,29 @@
-# $NetBSD: Makefile,v 1.644 2022/04/05 16:57:17 adam Exp $
+# $NetBSD: Makefile,v 1.645 2022/04/14 17:29:10 nikita Exp $
+#
 COMMENT=	Programming languages
 SUBDIR+=	Cg-compiler
 SUBDIR+=	LuaJIT2
 SUBDIR+=	R-cpp11
 SUBDIR+=	R-sourcetools
 SUBDIR+=	STk
 SUBDIR+=	a60
 SUBDIR+=	abcl
 SUBDIR+=	adoptopenjdk11-bin
 SUBDIR+=	algol68g
 SUBDIR+=	asn1c
 SUBDIR+=	ast2
 SUBDIR+=	awka
 SUBDIR+=	baci
 SUBDIR+=	boomerang
 SUBDIR+=	brandybasic
 SUBDIR+=	bwbasic
 SUBDIR+=	caml-light
 SUBDIR+=	camlp4
 SUBDIR+=	camlp5
 SUBDIR+=	cbmbasic
 SUBDIR+=	ccsh
 SUBDIR+=	cdl3
 SUBDIR+=	chibi-scheme
 SUBDIR+=	chicken

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.

# $NetBSD: Makefile,v 1.1 2022/04/14 17:29:10 nikita Exp $ DISTNAME= ATS2-Postiats-0.4.2 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=ats2-lang/} EXTRACT_SUFX= .tgz MAINTAINER= pkgsrc-users@NetBSD.org HOMEPAGE= http://www.ats-lang.org/ COMMENT= Functional programming language with dependent types LICENSE= gnu-gpl-v3 WRKSRC= ${WRKDIR}/ATS2-Postiats-int-${PKGVERSION_NOREV} GNU_CONFIGURE= yes USE_TOOLS+= gmake # build is not job safe MAKE_JOBS_SAFE= no .include "../../mk/bsd.pkg.mk"

@comment $NetBSD: PLIST,v 1.1 2022/04/14 17:29:10 nikita Exp $ bin/myatscc bin/patscc bin/patsopt lib/ats2-postiats-${PKGVERSION}/bin/myatscc 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/ATS-extsolve 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-smt2/bin/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/ATS-extsolve 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-z3/bin/.keeper 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/ATS-extsolve/bin/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/CATS-parsemit 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-atscc2clj/bin/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/CATS-parsemit 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-atscc2js/bin/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/CATS-parsemit 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-atscc2php/bin/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/CATS-parsemit 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-atscc2pl/bin/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/CATS-parsemit 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-atscc2py3/bin/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/CATS-parsemit lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/atscc2r34_emit.dats lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/atscc2r34_emit2.dats lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/atscc2r34_main.dats lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/bin/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/CATS-parsemit 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-atscc2scm/bin/.gitkeep 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/ats2cpp/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/H 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/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_cloref.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_fileptr.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_fileref.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_fun.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_string.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_strptr.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_tokener.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/README.md lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/HTML/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile.gen lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/cstream.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/cstream_tokener.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/theDeclpostamble.html lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/cstream.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/SATS/cstream_tokener.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/TEST/test03.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-cstream/TEST/tokener.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/DATS/getargs.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/README.md lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/SATS/getargs.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/TEST/test00.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-getargs/mylibies_link.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/HATS/gcount.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/HATS/globvar.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/HATS/gobjptr.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/README.md lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/TEST/test03.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/TEST/test04.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/TEST/test05-1.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-globals/TEST/test05-2.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/DATS/gintinf_t.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/DATS/intinf_t.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/DATS/intinf_vt.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/README.md lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/HTML/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile.gen lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/intinf.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/intinf_t.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/intinf_vt.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/theDeclpostamble.html lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/intinf.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/intinf_t.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/SATS/intinf_vt.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/README lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/test03.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/test04.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/test05.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/TEST/test06.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/mydepies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/CATS/curl.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/DATS/curl.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/DATS/curl_curl.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/DATS/curl_easy.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/SATS/curl.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/SATS/curl_curl.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/SATS/curl_easy.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/TEST/test00.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/CATS/gmp.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/DATS/gmp.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/README.md lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/HTML/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile.gen lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile_atxt.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile_atxt.txt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/gmp.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/gmp_atxt.txt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/htmlgendecl_atxt.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/htmlgendecl_atxt.txt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/htmlgendecl_data_atxt.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/theDeclpostamble.html lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/TEST/pidigits/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/TEST/pidigits/pidigits.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/CATS/CODEGEN/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/CATS/CODEGEN/jansson.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/CATS/CODEGEN/jansson.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/CATS/jansson.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/DATS/jansson.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/HTML/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/Makefile.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/Makefile.gen lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/TRYIT/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/jansson.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/theDeclpostamble.html lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/SATS/jansson.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/TEST/github_commit_query.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/CATS/json.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/CATS/printbuf.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/DATS/json.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/DATS/json_ML.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/Makefile.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/Makefile.gen lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/arraylist.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_ML.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_object.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_object_iterator.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_tokener.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_util.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/linkhash.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/mybasis.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/printbuf.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/theDeclpostamble.html lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/arraylist.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_ML.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_object.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_object_iterator.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_tokener.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_util.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/linkhash.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/mybasis.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/SATS/printbuf.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test00.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test03.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test04.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test05.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test06.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test07.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/TEST/testlib.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libjson-c/mylibies_link.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/CATS/pcre.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/DATS/pcre.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/DATS/pcre_ML.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/HTML/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/Makefile.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/Makefile.gen lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/pcre.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/pcre_ML.atxt lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/theDeclpostamble.html lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/pcre.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/SATS/pcre_ML.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/test00.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/test03.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/test04.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/test05.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/TEST/test06.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/DATS/foldleft.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/DATS/randgen.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/DATS/timing.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/README lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/SATS/foldleft.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/SATS/randgen.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/SATS/timing.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-mytesting/TEST/test03.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/CATS/sdstring.cats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/DATS/sdstring.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/H/LICENSE lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.h lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/README.md lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/SATS/sdstring.sats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/TEST/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/TEST/test02.dats lib/ats2-postiats-${PKGVERSION}/contrib/atscntrb/atscntrb-hx-sdstring/TEST/test03.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/ML/matrix0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/DATS/ML/option0.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/ML/matrix0.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/ATS2-0.3.2/SATS/ML/option0.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/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/ML/matrix0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/DATS/ML/option0.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/ML/matrix0.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc/SATS/ML/option0.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/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/ML/option0.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/funarray.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/ML/option0.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/funarray.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/staloadall.hats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Bacon.js/CATS/baconjs_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Bacon.js/DATS/baconjs.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Bacon.js/DATS/baconjs_ext.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Bacon.js/SATS/baconjs.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Bacon.js/SATS/baconjs_ext.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Bacon.js/SATS/channel.sats 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/HTTP/Ajax/Ajax_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/JSLIBC/JSdate_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/JSLIBC/JSmath_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/CATS/JSLIBC/JSmisc_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/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/JSLIBC/JSmath.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/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/ML/matrix0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/DATS/ML/option0.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/Node.js/CATS/basics_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Node.js/CATS/fprint_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Node.js/CATS/process_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Node.js/DATS/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Node.js/SATS/basics.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Node.js/SATS/fprint.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/Node.js/SATS/process.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/README 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/HTTP/Ajax/Ajax.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/JSLIBC/JSdate.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/JSLIBC/JSmath.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/JSLIBC/JSmisc.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/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/ML/matrix0.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/ATS2-0.3.2/SATS/ML/option0.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/TEST/test04.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/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/Makefile 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/output/DATS/.gitkeep lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/Bacon.js/package.json lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/JSLIBC/JSmath.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/JSarray.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/ML/matrix0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/ML/option0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/DATS/Number/real_double.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/HTML/Canvas/CATS/canvas2d_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/Canvas/SATS/canvas2d.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/Canvas/TEST/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/Canvas/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/Canvas/package.json lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/DOM/CATS/document_cats.js lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/DOM/DATS/document.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/DOM/SATS/document.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/DOM/TEST/test01.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/HTML/DOM/mylibies.hats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSLIBC/JSdate.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSLIBC/JSmath.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSLIBC/JSmisc.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/JSarray.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/ML/matrix0.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2js/SATS/ML/option0.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/SATS/xmldoc.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/ML/matrix0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/ML/option0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/PHParray.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/PHParref.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/filebas.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/DATS/funarray.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/matrixref.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/BUCS320/words.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/ML/matrix0.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/SATS/ML/option0.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/char.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/funarray.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/matrixref.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/TEST/test03.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/TEST/test04.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/basics_php.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2php/ATS2-0.3.2/mylibies.hats 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/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/ML/option0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2pl/ATS2-0.3.2/DATS/funarray.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/list_vt.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/ML/option0.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/funarray.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/list_vt.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/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/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/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/ML/option0.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/funarray.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/ML/option0.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/funarray.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/staloadall.hats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/.keeper lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/R34dframe_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/R34factor_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/R34matrix_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/R34vector_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/basics_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/bool_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/float_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/CATS/integer_cats.R lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/ML/list0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/ML/option0.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/R34dframe.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/R34matrix.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/R34vector.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/intrange.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/list.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/list_vt.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/option.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/stream.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/DATS/stream_vt.dats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/Makefile lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/ML/list0.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/ML/option0.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/R34dframe.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/R34factor.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/R34matrix.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/R34vector.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/bool.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/filebas.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/float.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/integer.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/intrange.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/list.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/list_vt.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/option.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/print.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/stream.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/stream_vt.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/SATS/string.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/basics_r34.sats lib/ats2-postiats-${PKGVERSION}/contrib/libatscc2r34/mylibies.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/ML/option0.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/funarray.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/list_vt.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/ML/option0.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/funarray.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/list_vt.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/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/ATS2/DATS/.keeper lib/ats2-postiats-${PKGVERSION}/libats/ATS2/DATS/fcntainer/.keeper lib/ats2-postiats-${PKGVERSION}/libats/ATS2/DATS/fcntainer/array0.dats lib/ats2-postiats-${PKGVERSION}/libats/ATS2/DATS/fcntainer/integer.dats lib/ats2-postiats-${PKGVERSION}/libats/ATS2/DATS/fcntainer/intrange.dats lib/ats2-postiats-${PKGVERSION}/libats/ATS2/DATS/fcntainer/list0.dats lib/ats2-postiats-${PKGVERSION}/libats/ATS2/DATS/fcntainer/main.dats lib/ats2-postiats-${PKGVERSION}/libats/ATS2/SATS/.keeper lib/ats2-postiats-${PKGVERSION}/libats/ATS2/SATS/fcntainer.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/COMPILE/.keeper lib/ats2-postiats-${PKGVERSION}/libats/ML/COMPILE/DATS/.keeper lib/ats2-postiats-${PKGVERSION}/libats/ML/COMPILE/DATS/array0.dats lib/ats2-postiats-${PKGVERSION}/libats/ML/COMPILE/DATS/funarray.dats lib/ats2-postiats-${PKGVERSION}/libats/ML/COMPILE/DATS/funmap.dats lib/ats2-postiats-${PKGVERSION}/libats/ML/COMPILE/DATS/hashtblref.dats lib/ats2-postiats-${PKGVERSION}/libats/ML/COMPILE/DATS/string.dats lib/ats2-postiats-${PKGVERSION}/libats/ML/COMPILE/mylibies.hats 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/argvec.dats lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/array0.dats lib/ats2-postiats-${PKGVERSION}/libats/ML/DATS/atspre.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/list0_vt.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/argvec.sats lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/array0.sats lib/ats2-postiats-${PKGVERSION}/libats/ML/SATS/atspre.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/list0_vt.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/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/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/filebas.sats lib/ats2-postiats-${PKGVERSION}/prelude/SATS/float.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/codegen2.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/HATS/atspre_staload_prelude.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 lib/ats2-postiats-${PKGVERSION}/share/atspre_staload_libats_ML.hats @pkgdir lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/output @pkgdir lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/lib64 @pkgdir lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/lib32

$NetBSD: distinfo,v 1.1 2022/04/14 17:29:10 nikita Exp $ BLAKE2s (ATS2-Postiats-0.4.2.tgz) = 12c4fab8256534f03139c3276c1a2376d4d4dc2101e106d763da5fc0082240d6 SHA512 (ATS2-Postiats-0.4.2.tgz) = 10d00e53105edb4c471d3f3b0c437a12e5a7a596b69c423976ea81887aa7e2baf22aa7860e9a73fb45873ff2e439c2e3644e8126bff9997c35d2d01c2d923a23 Size (ATS2-Postiats-0.4.2.tgz) = 4530964 bytes SHA1 (patch-Makefile) = 6695c27284c2e5f765439f0d2b77c3bda3c2a5ed

$NetBSD: patch-Makefile,v 1.1 2022/04/14 17:29:10 nikita Exp $ 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 #