Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) (Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified)) by mollari.NetBSD.org (Postfix) with ESMTPS id B89C01A921F for ; Thu, 14 Apr 2022 17:29:15 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id 4FA4384F46; Thu, 14 Apr 2022 17:29:15 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 8766584F44 for ; Thu, 14 Apr 2022 17:29:14 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id mXInAM9KJY44 for ; Thu, 14 Apr 2022 17:29:11 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.NetBSD.org [IPv6:2001:470:a085:999:28c:faff:fe03:5984]) by mail.netbsd.org (Postfix) with ESMTP id 2B4C384F3D for ; Thu, 14 Apr 2022 17:29:11 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 242FBFB24; Thu, 14 Apr 2022 17:29:11 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1649957351140700" MIME-Version: 1.0 Date: Thu, 14 Apr 2022 17:29:11 +0000 From: "Nikita" Subject: CVS commit: pkgsrc/lang To: pkgsrc-changes@NetBSD.org Reply-To: nikita@netbsd.org X-Mailer: log_accum Message-Id: <20220414172911.242FBFB24@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1649957351140700 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: nikita Date: Thu Apr 14 17:29:11 UTC 2022 Modified Files: pkgsrc/lang: Makefile Added Files: pkgsrc/lang/ats2: DESCR Makefile PLIST distinfo pkgsrc/lang/ats2/patches: patch-Makefile Log Message: 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. To generate a diff of this commit: cvs rdiff -u -r1.644 -r1.645 pkgsrc/lang/Makefile cvs rdiff -u -r0 -r1.1 pkgsrc/lang/ats2/DESCR pkgsrc/lang/ats2/Makefile \ pkgsrc/lang/ats2/PLIST pkgsrc/lang/ats2/distinfo cvs rdiff -u -r0 -r1.1 pkgsrc/lang/ats2/patches/patch-Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1649957351140700 Content-Disposition: inline Content-Length: 137815 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/lang/Makefile diff -u pkgsrc/lang/Makefile:1.644 pkgsrc/lang/Makefile:1.645 --- pkgsrc/lang/Makefile:1.644 Tue Apr 5 16:57:17 2022 +++ pkgsrc/lang/Makefile Thu Apr 14 17:29:10 2022 @@ -1,4 +1,4 @@ -# $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 @@ -13,6 +13,7 @@ SUBDIR+= abcl SUBDIR+= adoptopenjdk11-bin SUBDIR+= algol68g SUBDIR+= asn1c +SUBDIR+= ast2 SUBDIR+= awka SUBDIR+= baci SUBDIR+= boomerang Added files: Index: pkgsrc/lang/ats2/DESCR diff -u /dev/null pkgsrc/lang/ats2/DESCR:1.1 --- /dev/null Thu Apr 14 17:29:11 2022 +++ pkgsrc/lang/ats2/DESCR Thu Apr 14 17:29:10 2022 @@ -0,0 +1,14 @@ +ATS is a statically typed programming language that unifies +implementation with formal specification. It is equipped with +a highly expressive type system rooted in the framework Applied +Type System, which gives the language its name. In particular, +both dependent types and linear types are available in ATS. + +In addition, ATS contains a subsystem ATS/LF that supports a form +of (interactive) theorem-proving, where proofs are constructed as +total functions. With this subsystem, ATS is able to advocate a +programmer-centric approach to program verification that combines +programming with theorem-proving in a syntactically intertwined +manner. Furthermore, ATS/LF can also serve as a logical framework +(LF) for encoding various formal systems (such as logic systems +and type systems) together with proofs of their (meta-)properties. Index: pkgsrc/lang/ats2/Makefile diff -u /dev/null pkgsrc/lang/ats2/Makefile:1.1 --- /dev/null Thu Apr 14 17:29:11 2022 +++ pkgsrc/lang/ats2/Makefile Thu Apr 14 17:29:10 2022 @@ -0,0 +1,19 @@ +# $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" Index: pkgsrc/lang/ats2/PLIST diff -u /dev/null pkgsrc/lang/ats2/PLIST:1.1 --- /dev/null Thu Apr 14 17:29:11 2022 +++ pkgsrc/lang/ats2/PLIST Thu Apr 14 17:29:10 2022 @@ -0,0 +1,1726 @@ +@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 Index: pkgsrc/lang/ats2/distinfo diff -u /dev/null pkgsrc/lang/ats2/distinfo:1.1 --- /dev/null Thu Apr 14 17:29:11 2022 +++ pkgsrc/lang/ats2/distinfo Thu Apr 14 17:29:10 2022 @@ -0,0 +1,6 @@ +$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 Index: pkgsrc/lang/ats2/patches/patch-Makefile diff -u /dev/null pkgsrc/lang/ats2/patches/patch-Makefile:1.1 --- /dev/null Thu Apr 14 17:29:11 2022 +++ pkgsrc/lang/ats2/patches/patch-Makefile Thu Apr 14 17:29:10 2022 @@ -0,0 +1,15 @@ +$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 + # --_----------=_1649957351140700--