11 files changed, 0 insertions, 702 deletions

diff --git a/lang/Makefile b/lang/Makefile
index 30a6e456561b..9b67914b40c9 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -14,7 +14,6 @@
     SUBDIR += asis
     SUBDIR += asn1c
     SUBDIR += atlast
-    SUBDIR += ats
     SUBDIR += awka
     SUBDIR += bas2tap
     SUBDIR += basic256
diff --git a/lang/ats/Makefile b/lang/ats/Makefile
deleted file mode 100644
index 41d29995b87a..000000000000
--- a/lang/ats/Makefile
+++ /dev/null
@@ -1,71 +0,0 @@
-# Created by: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
-# $FreeBSD$
-
-PORTNAME=	ats
-PORTVERSION=	${ATS_VER}
-PORTREVISION=	1
-CATEGORIES=	lang
-MASTER_SITES=	SF/${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
-DISTNAME=	${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION}
-
-MAINTAINER=	ports@FreeBSD.org
-COMMENT=	Language with a type system rooted in the Applied Type System
-
-DEPRECATED=	Unmaintained, outdated, needs lots of refreshment
-EXPIRATION_DATE=	2017-11-04
-
-ONLY_FOR_ARCHS=	i386 amd64
-USES=		gmake tar:tgz
-GNU_CONFIGURE=	yes
-CFLAGS+=	-I${LOCALBASE}/include \
-		-L${LOCALBASE}/lib
-
-MAKE_JOBS_UNSAFE=yes
-PORTDOCS=	FAQ.txt
-PORTEXAMPLES=	AUP INTRO KernighanRitchie MISC MULTICORE TEST
-
-OPTIONS_DEFINE=	GMP PCRE DOCS EXAMPLES
-OPTIONS_DEFAULT=	GMP PCRE
-GMP_LIB_DEPENDS=	libgmp.so:math/gmp
-PCRE_LIB_DEPENDS=	libpcre.so:devel/pcre
-
-.include <bsd.port.pre.mk>
-
-.if ${ARCH} == amd64
-PLIST_SUB+=	LIBDIR="lib64"
-.else
-PLIST_SUB+=	LIBDIR="lib"
-.endif
-
-post-patch:
-	${SED} -i '' -e 's/gcc/${CC}/' \
-	    ${WRKSRC}/ccomp/runtime/GCATS/Makefile \
-	    ${WRKSRC}/utils/scripts/Makefile \
-	    ${WRKSRC}/libatsdoc/Makefile
-	${SED} -i '' -e 's/ATSCCOMP_def "gcc"/ATSCCOMP_def "${CC}"/' \
-	    ${WRKSRC}/utils/scripts/basics.dats
-	${SED} -i '' -e 's/argv_p = "gcc"/argv_p = "${CC}"/' \
-	             -e 's/execvp("gcc", argv)/execvp("${CC}", argv)/' \
-	    ${WRKSRC}/utils/scripts/atslib.dats
-
-post-configure:
-.if empty(PORT_OPTIONS:MGMP)
-	${SED} -i '' -e '/HAVE_GMP_H/d' ${WRKSRC}/config.h
-.endif
-.if empty(PORT_OPTIONS:MPCRE)
-	${SED} -i '' -e '/HAVE_PCRE_H/d' ${WRKSRC}/config.h
-.endif
-
-post-install:
-	${STRIP_CMD} ${STAGEDIR}${PREFIX}/${ATS_LIBDIR_REL}/bin/*
-	${MKDIR} ${STAGEDIR}${DOCSDIR}
-	cd ${WRKSRC}/doc && \
-	${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
-	${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
-	cd ${WRKSRC}/doc/EXAMPLE && \
-	${COPYTREE_SHARE} "${PORTEXAMPLES}" ${STAGEDIR}${EXAMPLESDIR}
-	${FIND} ${STAGEDIR}${EXAMPLESDIR} -name Makefile \
-	    -exec ${SED} -i '' -e 's|^ATSUSRQ=.*|ATSUSRQ="${PREFIX}"|' {} \;
-
-.include "bsd.ats.mk"
-.include <bsd.port.post.mk>
diff --git a/lang/ats/bsd.ats.mk b/lang/ats/bsd.ats.mk
deleted file mode 100644
index 9a46bc3220ef..000000000000
--- a/lang/ats/bsd.ats.mk
+++ /dev/null
@@ -1,56 +0,0 @@
-ATS_IMPL=	anairiats
-ATS_VER=	0.2.9
-
-ATS_LIBDIR_REL=	lib/ats-${ATS_IMPL}-${ATS_VER}
-ATS_LIBDIR=	${LOCALBASE}/${ATS_LIBDIR_REL}
-
-PLIST_SUB+=	ATS_LIBDIR="${ATS_LIBDIR_REL}"
-
-.if defined(ATS_CTRB)
-
-PKGNAMEPREFIX=	${ATS_CTRBPREFIX}
-ATS_CTRBPREFIX=	ats-contrib-
-ATS_CTRBEXAMPLEDIR=	${PREFIX}/share/examples/${ATS_CTRBPREFIX}${PORTNAME}
-
-FETCH_DEPENDS+=	${NONEXISTENT}:lang/ats:patch
-BUILD_DEPENDS+=	${LOCALBASE}/bin/atscc:lang/ats
-
-USES=		gmake
-MAKE_ENV+=	ATSHOME=${ATS_LIBDIR} ATSHOMERELOC=ATS-${ATS_VER}
-MAKE_ARGS+=	-C contrib/${ATS_CTRB}
-
-ATS_WRKSRC=	cd ${PORTSDIR}/lang/ats; ${MAKE} -V WRKSRC
-
-do-extract:
-	${MKDIR} ${WRKDIR}
-	${LN} -sf $$(${ATS_WRKSRC}) ${WRKDIR}/${DISTNAME}
-
-pre-build:
-	${SED} -i '' \
-	    -e 's/^ATSCC=\(.*\)/ATSCC=\1 $$(CFLAGS) -IATS./' \
-	    ${BUILD_WRKSRC}/contrib/${ATS_CTRB}/Makefile
-	${LN} -sf ${BUILD_WRKSRC}/contrib ${BUILD_WRKSRC}/contrib/${ATS_CTRB}/
-
-do-install:
-	${MKDIR} ${ATS_LIBDIR}/contrib
-	cd ${INSTALL_WRKSRC}/contrib && \
-	${RM} ${ATS_CTRB}/contrib && \
-	${COPYTREE_SHARE} ${ATS_CTRB} ${ATS_LIBDIR}/contrib
-.if !defined(NOPORTEXAMPLES) && defined(ATS_CTRBEXAMPLE)
-	${MKDIR} ${ATS_CTRBEXAMPLEDIR}
-	cd ${INSTALL_WRKSRC}/doc/EXAMPLE/${ATS_CTRBEXAMPLE} && \
-	${COPYTREE_SHARE} . ${ATS_CTRBEXAMPLEDIR}
-	${FIND} ${ATS_CTRBEXAMPLEDIR} -name Makefile \
-	    -exec ${SED} -i '' \
-	                 -e 's|^ATSUSRQ=.*|ATSUSRQ="${ATS_LIBDIR}"|' \
-	                 -e 's|^ATSLIBQ=.*|ATSLIBQ="${ATS_LIBDIR}"|' {} \;
-.endif
-
-post-install-script:
-	@${FIND} -ds ${ATS_LIBDIR}/contrib/${ATS_CTRB} -type f -print | \
-	    ${SED} -e 's|^${LOCALBASE}/||' >> ${TMPPLIST}
-.if !defined(NOPORTEXAMPLES) && defined(ATS_CTRBEXAMPLE)
-	@${FIND} -ds ${ATS_CTRBEXAMPLEDIR} -type f -print | \
-	    ${SED} -E -e 's|^${PREFIX}/?||' >> ${TMPPLIST}
-.endif
-.endif
diff --git a/lang/ats/distinfo b/lang/ats/distinfo
deleted file mode 100644
index f81abea4dc70..000000000000
--- a/lang/ats/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (ats-lang-anairiats-0.2.9.tgz) = 44bbf49f7bea0e411c5a24ae0ea3ecf1d771886b6bd19ea6798badb01f1512fd
-SIZE (ats-lang-anairiats-0.2.9.tgz) = 2466767
diff --git a/lang/ats/files/patch-Makefile b/lang/ats/files/patch-Makefile
deleted file mode 100644
index f6db4d0638cc..000000000000
--- a/lang/ats/files/patch-Makefile
+++ /dev/null
@@ -1,86 +0,0 @@
---- Makefile.orig	2013-01-24 10:49:41.547037509 +0800
-+++ Makefile	2013-01-24 10:55:14.781718163 +0800
-@@ -59,12 +59,6 @@
- 	autoheader $<
- 	touch $@
- 
--configure: configure.ac $(SRC_CONFIG_FILES)
--	aclocal
--	automake --add-missing --foreign || true
--	autoconf
--	touch $(BUILT_CONFIG_FILES)
--
- -include config.mk
- 
- ######
-@@ -92,7 +86,7 @@
- 	cd $(abs_top_srcdir)
- 	[ -d $(DESTDIR)/$(bindir) ] || $(MKDIR_P) $(DESTDIR)/$(bindir)
- 	$(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/bin
--	find ccomp contrib doc libats libc prelude -type d \
-+	find ccomp libats libatsdoc libc prelude -type d \
- 	  -exec $(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/\{} \; \
- 	  -print
- 
-@@ -100,7 +94,7 @@
- #
- # recursively install all files in the list except .svn control files.
- #
--	for d in ccomp/runtime contrib doc libats libc prelude; do \
-+	for d in ccomp/runtime libats libatsdoc libc prelude; do \
- 	  cd $(abs_top_srcdir) && \
- 	  $(INSTALL) -d $(DESTDIR)$(ATSNEWHOME)/"$$d" && \
- 	  find "$$d" -name .svn -prune -o -type f \
-@@ -140,6 +134,8 @@
- 	done
- 
- install:: install_files
-+	find $(DESTDIR)$(ATSNEWHOME) -depth -type d -empty -delete
-+	find $(DESTDIR)$(ATSNEWHOME) -type f -name '*.orig' -delete
- 
- ######
- 
-@@ -155,8 +151,7 @@
-   ccomp/runtime/GCATS/gc_mt.o \
-   atsopt1_gc \
-   bin/atslex \
--  bin/atsdoc \
--  contrib
-+  bin/atsdoc
- 	@echo "ATS/Anairiats has been built up successfully!"
- 	@echo "The value of ATSHOME for this build is \"$(ATSHOME)\"."
- 	@echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"."
-@@ -217,23 +212,23 @@
- 
- .libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<
- libfiles: .libfiles_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats
--	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex
--	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas
-+	$(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats
-+	$(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats_lex
-+	$(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats_smlbas
- 
- lib32files: .libfiles_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats
--	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_lex
--	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_smlbas
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats_lex
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats_smlbas
- 
- lib64files: .libfiles_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats
--	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_lex
--	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_smlbas
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats_lex
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats_smlbas
- 
- .libfiles_mt_local: .libfiles_mt ; $(CC) -E -P -x c -o $@ $<
- libfiles_mt: .libfiles_mt_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 --libats_mt
-+	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD $(CFLAGS) --libats_mt
- 
- libatsdoca: ; $(MAKE) -C libatsdoc
- 
diff --git a/lang/ats/files/patch-Makefile__bootstrap b/lang/ats/files/patch-Makefile__bootstrap
deleted file mode 100644
index df5c27b77f54..000000000000
--- a/lang/ats/files/patch-Makefile__bootstrap
+++ /dev/null
@@ -1,11 +0,0 @@
---- Makefile_bootstrap.orig	2011-10-06 21:17:51.000000000 +0800
-+++ Makefile_bootstrap	2011-10-06 21:18:13.000000000 +0800
-@@ -78,7 +78,7 @@
- 
- BOOTSTRAP1=1
- ifdef BOOTSTRAP1
--ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g
-+ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) $(CFLAGS)
- endif
- 
- LIBGMP=
diff --git a/lang/ats/files/patch-ccomp_runtime_GCATS_gcats1__misc.dats b/lang/ats/files/patch-ccomp_runtime_GCATS_gcats1__misc.dats
deleted file mode 100644
index 19b0db5a1fa9..000000000000
--- a/lang/ats/files/patch-ccomp_runtime_GCATS_gcats1__misc.dats
+++ /dev/null
@@ -1,10 +0,0 @@
---- ccomp/runtime/GCATS/gcats1_misc.dats.orig	2012-05-23 14:32:51.606718510 +0800
-+++ ccomp/runtime/GCATS/gcats1_misc.dats	2012-05-23 14:33:22.846718098 +0800
-@@ -55,6 +55,7 @@
- //
- // dir=1/-1 : upward/downward
- //
-+static int gc_stack_dir_get_inner (int *some_ptr) __attribute__((noinline));
- static
- int gc_stack_dir_get_inner (int *some_ptr) {
-   int some_int ;
diff --git a/lang/ats/files/patch-config.mk.in b/lang/ats/files/patch-config.mk.in
deleted file mode 100644
index 3dedddf550f9..000000000000
--- a/lang/ats/files/patch-config.mk.in
+++ /dev/null
@@ -1,11 +0,0 @@
---- config.mk.in.orig	2012-09-06 15:37:58.253921955 +0800
-+++ config.mk.in	2012-09-06 15:38:09.939751074 +0800
-@@ -2,7 +2,7 @@
- PACKAGE_TARNAME := @PACKAGE_TARNAME@
- PACKAGE_VERSION := @PACKAGE_VERSION@
- 
--abs_top_srcdir := @abs_top_srcdir@
-+abs_top_srcdir := $(realpath @abs_top_srcdir@)
- prefix := @prefix@
- exec_prefix := @exec_prefix@
- bindir := @bindir@
diff --git a/lang/ats/files/patch-libatsdoc_Makefile b/lang/ats/files/patch-libatsdoc_Makefile
deleted file mode 100644
index cfbacbe06a88..000000000000
--- a/lang/ats/files/patch-libatsdoc_Makefile
+++ /dev/null
@@ -1,11 +0,0 @@
---- libatsdoc/Makefile.orig	2012-09-06 15:39:38.797921223 +0800
-+++ libatsdoc/Makefile	2012-09-06 15:40:12.166571629 +0800
-@@ -43,7 +43,7 @@
- ######
- 
- all:: Makefile_out
--all:: ; make -f Makefile_out
-+all:: ; $(MAKE) -f Makefile_out
- all:: cleanall
- 
- ######
diff --git a/lang/ats/pkg-descr b/lang/ats/pkg-descr
deleted file mode 100644
index ff3e20355ea0..000000000000
--- a/lang/ats/pkg-descr
+++ /dev/null
@@ -1,7 +0,0 @@
-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.
-
-WWW: http://www.ats-lang.org/
diff --git a/lang/ats/pkg-plist b/lang/ats/pkg-plist
deleted file mode 100644
index e323464042ff..000000000000
--- a/lang/ats/pkg-plist
+++ /dev/null
@@ -1,436 +0,0 @@
-bin/atscc
-bin/atsdoc
-bin/atslex
-bin/atslib
-bin/atsopt
-bin/atspack
-%%ATS_LIBDIR%%/INSTALL
-%%ATS_LIBDIR%%/VERSION.txt
-%%ATS_LIBDIR%%/bin/atscc
-%%ATS_LIBDIR%%/bin/atsdoc
-%%ATS_LIBDIR%%/bin/atslex
-%%ATS_LIBDIR%%/bin/atslib
-%%ATS_LIBDIR%%/bin/atsopt
-%%ATS_LIBDIR%%/bin/atspack
-%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats.a
-%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_lex.a
-%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_mt.a
-%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_smlbas.a
-%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libatsdoc.a
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/Makefile
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/README
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gc.o
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gc_mt.o
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1.cats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1.sats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_all.cats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_autops.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_chunk.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_collecting.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_freeitmlst.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_globalentry.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_main.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_manops.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_marking.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_master.hats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_misc.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_multithread.dats
-%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_top.dats
-%%ATS_LIBDIR%%/ccomp/runtime/ats_basics.h
-%%ATS_LIBDIR%%/ccomp/runtime/ats_bootstrap.c
-%%ATS_LIBDIR%%/ccomp/runtime/ats_config.h
-%%ATS_LIBDIR%%/ccomp/runtime/ats_exception.h
-%%ATS_LIBDIR%%/ccomp/runtime/ats_memory.h
-%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude.c
-%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_gcats.c
-%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_gcbdw.c
-%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_ngc.c
-%%ATS_LIBDIR%%/ccomp/runtime/ats_types.h
-%%ATS_LIBDIR%%/config.h
-%%ATS_LIBDIR%%/libats/CATS/fmatrix.cats
-%%ATS_LIBDIR%%/libats/CATS/genarrays.cats
-%%ATS_LIBDIR%%/libats/CATS/hashtable_chain.cats
-%%ATS_LIBDIR%%/libats/CATS/intinf.cats
-%%ATS_LIBDIR%%/libats/CATS/linbitvec.cats
-%%ATS_LIBDIR%%/libats/CATS/linordset_randbst.cats
-%%ATS_LIBDIR%%/libats/CATS/linqueue_arr.cats
-%%ATS_LIBDIR%%/libats/CATS/linqueue_lst.cats
-%%ATS_LIBDIR%%/libats/CATS/linstack_arr.cats
-%%ATS_LIBDIR%%/libats/CATS/lockptr_spin.cats
-%%ATS_LIBDIR%%/libats/CATS/lockref_spin.cats
-%%ATS_LIBDIR%%/libats/CATS/parworkshop.cats
-%%ATS_LIBDIR%%/libats/CATS/regexp.cats
-%%ATS_LIBDIR%%/libats/CATS/slseg.cats
-%%ATS_LIBDIR%%/libats/CATS/vector.cats
-%%ATS_LIBDIR%%/libats/DATS/biarray.dats
-%%ATS_LIBDIR%%/libats/DATS/bimatrix.dats
-%%ATS_LIBDIR%%/libats/DATS/fmatrix.dats
-%%ATS_LIBDIR%%/libats/DATS/freelst.dats
-%%ATS_LIBDIR%%/libats/DATS/funarray_braun.dats
-%%ATS_LIBDIR%%/libats/DATS/fundeque_fingertree.dats
-%%ATS_LIBDIR%%/libats/DATS/funheap_binomial.dats
-%%ATS_LIBDIR%%/libats/DATS/funheap_braun.dats
-%%ATS_LIBDIR%%/libats/DATS/funmap_avltree.dats
-%%ATS_LIBDIR%%/libats/DATS/funmap_rbtree.dats
-%%ATS_LIBDIR%%/libats/DATS/funmset_listord.dats
-%%ATS_LIBDIR%%/libats/DATS/funralist_nested.dats
-%%ATS_LIBDIR%%/libats/DATS/funset_avltree.dats
-%%ATS_LIBDIR%%/libats/DATS/funset_listord.dats
-%%ATS_LIBDIR%%/libats/DATS/genarrays.dats
-%%ATS_LIBDIR%%/libats/DATS/gfarray.dats
-%%ATS_LIBDIR%%/libats/DATS/gflist.dats
-%%ATS_LIBDIR%%/libats/DATS/gflist_vt.dats
-%%ATS_LIBDIR%%/libats/DATS/hashtable_chain.dats
-%%ATS_LIBDIR%%/libats/DATS/hashtable_linprb.dats
-%%ATS_LIBDIR%%/libats/DATS/ilistp.dats
-%%ATS_LIBDIR%%/libats/DATS/intinf.dats
-%%ATS_LIBDIR%%/libats/DATS/iterint.dats
-%%ATS_LIBDIR%%/libats/DATS/linbitvec.dats
-%%ATS_LIBDIR%%/libats/DATS/linheap_binomial.dats
-%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats
-%%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats
-%%ATS_LIBDIR%%/libats/DATS/linmap_skiplist.dats
-%%ATS_LIBDIR%%/libats/DATS/linordset_randbst.dats
-%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats
-%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats
-%%ATS_LIBDIR%%/libats/DATS/linset_avltree.dats
-%%ATS_LIBDIR%%/libats/DATS/linset_listord.dats
-%%ATS_LIBDIR%%/libats/DATS/linstack_arr.dats
-%%ATS_LIBDIR%%/libats/DATS/lockptr_spin.dats
-%%ATS_LIBDIR%%/libats/DATS/lockref_spin.dats
-%%ATS_LIBDIR%%/libats/DATS/parworkshop.dats
-%%ATS_LIBDIR%%/libats/DATS/rarray.dats
-%%ATS_LIBDIR%%/libats/DATS/refcount.dats
-%%ATS_LIBDIR%%/libats/DATS/regexp.dats
-%%ATS_LIBDIR%%/libats/DATS/vector.dats
-%%ATS_LIBDIR%%/libats/SATS/biarray.sats
-%%ATS_LIBDIR%%/libats/SATS/bimatrix.sats
-%%ATS_LIBDIR%%/libats/SATS/fmatrix.sats
-%%ATS_LIBDIR%%/libats/SATS/freelst.sats
-%%ATS_LIBDIR%%/libats/SATS/funarray_braun.sats
-%%ATS_LIBDIR%%/libats/SATS/fundeque_fingertree.sats
-%%ATS_LIBDIR%%/libats/SATS/funheap_binomial.sats
-%%ATS_LIBDIR%%/libats/SATS/funheap_braun.sats
-%%ATS_LIBDIR%%/libats/SATS/funmap_avltree.sats
-%%ATS_LIBDIR%%/libats/SATS/funmap_rbtree.sats
-%%ATS_LIBDIR%%/libats/SATS/funmset_listord.sats
-%%ATS_LIBDIR%%/libats/SATS/funralist_nested.sats
-%%ATS_LIBDIR%%/libats/SATS/funset_avltree.sats
-%%ATS_LIBDIR%%/libats/SATS/funset_listord.sats
-%%ATS_LIBDIR%%/libats/SATS/genarrays.sats
-%%ATS_LIBDIR%%/libats/SATS/gfarray.sats
-%%ATS_LIBDIR%%/libats/SATS/gflist.sats
-%%ATS_LIBDIR%%/libats/SATS/gflist_vt.sats
-%%ATS_LIBDIR%%/libats/SATS/gftree.sats
-%%ATS_LIBDIR%%/libats/SATS/hashtable_chain.sats
-%%ATS_LIBDIR%%/libats/SATS/hashtable_linprb.sats
-%%ATS_LIBDIR%%/libats/SATS/ilistp.sats
-%%ATS_LIBDIR%%/libats/SATS/imsetp.sats
-%%ATS_LIBDIR%%/libats/SATS/intinf.sats
-%%ATS_LIBDIR%%/libats/SATS/iterint.sats
-%%ATS_LIBDIR%%/libats/SATS/itreep.sats
-%%ATS_LIBDIR%%/libats/SATS/linbitvec.sats
-%%ATS_LIBDIR%%/libats/SATS/linheap_binomial.sats
-%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats
-%%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats
-%%ATS_LIBDIR%%/libats/SATS/linmap_skiplist.sats
-%%ATS_LIBDIR%%/libats/SATS/linordset_randbst.sats
-%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats
-%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats
-%%ATS_LIBDIR%%/libats/SATS/linset_avltree.sats
-%%ATS_LIBDIR%%/libats/SATS/linset_listord.sats
-%%ATS_LIBDIR%%/libats/SATS/linstack_arr.sats
-%%ATS_LIBDIR%%/libats/SATS/lockptr_spin.sats
-%%ATS_LIBDIR%%/libats/SATS/lockref_spin.sats
-%%ATS_LIBDIR%%/libats/SATS/optini.sats
-%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats
-%%ATS_LIBDIR%%/libats/SATS/rarray.sats
-%%ATS_LIBDIR%%/libats/SATS/refcount.sats
-%%ATS_LIBDIR%%/libats/SATS/refcountr.sats
-%%ATS_LIBDIR%%/libats/SATS/regexp.sats
-%%ATS_LIBDIR%%/libats/SATS/sobjptr.sats
-%%ATS_LIBDIR%%/libats/SATS/vector.sats
-%%ATS_LIBDIR%%/libats/lex/lexing.dats
-%%ATS_LIBDIR%%/libats/lex/lexing.sats
-%%ATS_LIBDIR%%/libats/lex/tables.dats
-%%ATS_LIBDIR%%/libats/ngc/CATS/deque_arr.cats
-%%ATS_LIBDIR%%/libats/ngc/DATS/deque_arr.dats
-%%ATS_LIBDIR%%/libats/ngc/DATS/dlist.dats
-%%ATS_LIBDIR%%/libats/ngc/DATS/linmap_avltree.dats
-%%ATS_LIBDIR%%/libats/ngc/DATS/linmap_pavltree.dats
-%%ATS_LIBDIR%%/libats/ngc/DATS/slist.dats
-%%ATS_LIBDIR%%/libats/ngc/SATS/deque_arr.sats
-%%ATS_LIBDIR%%/libats/ngc/SATS/dlist.sats
-%%ATS_LIBDIR%%/libats/ngc/SATS/linmap_avltree.sats
-%%ATS_LIBDIR%%/libats/ngc/SATS/linmap_pavltree.sats
-%%ATS_LIBDIR%%/libats/ngc/SATS/slist.sats
-%%ATS_LIBDIR%%/libats/smlbas/.libfiles
-%%ATS_LIBDIR%%/libats/smlbas/DATS/array.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/array2.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/bool.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/char.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/date.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/list.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/listPair.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/math.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/real.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/string.dats
-%%ATS_LIBDIR%%/libats/smlbas/DATS/time.dats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/array.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/array2.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/bool.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/char.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/date.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/general.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/list.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/listPair.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/math.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/real.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/string.sats
-%%ATS_LIBDIR%%/libats/smlbas/SATS/time.sats
-%%ATS_LIBDIR%%/libatsdoc/CATS/libatsdoc_lexbuf.cats
-%%ATS_LIBDIR%%/libatsdoc/CATS/libatsdoc_location.cats
-%%ATS_LIBDIR%%/libatsdoc/CATS/libatsdoc_reader.cats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_atext.dats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_error.dats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_filename.dats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_lexbuf.dats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_location.dats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_reader.dats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_symbol.dats
-%%ATS_LIBDIR%%/libatsdoc/DATS/libatsdoc_symmap.dats
-%%ATS_LIBDIR%%/libatsdoc/Makefile
-%%ATS_LIBDIR%%/libatsdoc/Makefile_inp
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_atext.sats
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_error.sats
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_filename.sats
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_lexbuf.sats
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_location.sats
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_reader.sats
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_symbol.sats
-%%ATS_LIBDIR%%/libatsdoc/SATS/libatsdoc_symmap.sats
-%%ATS_LIBDIR%%/libatsdoc/dynloadall.dats
-%%ATS_LIBDIR%%/libc/CATS/SIMD_v2df.cats
-%%ATS_LIBDIR%%/libc/CATS/complex.cats
-%%ATS_LIBDIR%%/libc/CATS/ctype.cats
-%%ATS_LIBDIR%%/libc/CATS/curses.cats
-%%ATS_LIBDIR%%/libc/CATS/dirent.cats
-%%ATS_LIBDIR%%/libc/CATS/dlfcn.cats
-%%ATS_LIBDIR%%/libc/CATS/errno.cats
-%%ATS_LIBDIR%%/libc/CATS/fcntl.cats
-%%ATS_LIBDIR%%/libc/CATS/float.cats
-%%ATS_LIBDIR%%/libc/CATS/gmp.cats
-%%ATS_LIBDIR%%/libc/CATS/grp.cats
-%%ATS_LIBDIR%%/libc/CATS/math.cats
-%%ATS_LIBDIR%%/libc/CATS/netdb.cats
-%%ATS_LIBDIR%%/libc/CATS/printf.cats
-%%ATS_LIBDIR%%/libc/CATS/pthread.cats
-%%ATS_LIBDIR%%/libc/CATS/pthread_upbarr.cats
-%%ATS_LIBDIR%%/libc/CATS/pthread_uplock.cats
-%%ATS_LIBDIR%%/libc/CATS/pwd.cats
-%%ATS_LIBDIR%%/libc/CATS/random.cats
-%%ATS_LIBDIR%%/libc/CATS/sched.cats
-%%ATS_LIBDIR%%/libc/CATS/signal.cats
-%%ATS_LIBDIR%%/libc/CATS/stdarg.cats
-%%ATS_LIBDIR%%/libc/CATS/stdio.cats
-%%ATS_LIBDIR%%/libc/CATS/stdlib.cats
-%%ATS_LIBDIR%%/libc/CATS/string.cats
-%%ATS_LIBDIR%%/libc/CATS/strings.cats
-%%ATS_LIBDIR%%/libc/CATS/termios.cats
-%%ATS_LIBDIR%%/libc/CATS/time.cats
-%%ATS_LIBDIR%%/libc/CATS/unistd.cats
-%%ATS_LIBDIR%%/libc/CATS/unistd_pathconf.cats
-%%ATS_LIBDIR%%/libc/CATS/unistd_sysconf.cats
-%%ATS_LIBDIR%%/libc/CATS/utime.cats
-%%ATS_LIBDIR%%/libc/DATS/complex.dats
-%%ATS_LIBDIR%%/libc/DATS/dirent.dats
-%%ATS_LIBDIR%%/libc/DATS/dlfcn.dats
-%%ATS_LIBDIR%%/libc/DATS/errno.dats
-%%ATS_LIBDIR%%/libc/DATS/fcntl.dats
-%%ATS_LIBDIR%%/libc/DATS/gmp.dats
-%%ATS_LIBDIR%%/libc/DATS/math.dats
-%%ATS_LIBDIR%%/libc/DATS/printf.dats
-%%ATS_LIBDIR%%/libc/DATS/pthread.dats
-%%ATS_LIBDIR%%/libc/DATS/pthread_upbarr.dats
-%%ATS_LIBDIR%%/libc/DATS/pthread_uplock.dats
-%%ATS_LIBDIR%%/libc/DATS/random.dats
-%%ATS_LIBDIR%%/libc/DATS/stdarg.dats
-%%ATS_LIBDIR%%/libc/DATS/stdio.dats
-%%ATS_LIBDIR%%/libc/DATS/stdlib.dats
-%%ATS_LIBDIR%%/libc/DATS/string.dats
-%%ATS_LIBDIR%%/libc/DATS/unistd.dats
-%%ATS_LIBDIR%%/libc/HATS/float.hats
-%%ATS_LIBDIR%%/libc/HATS/math.hats
-%%ATS_LIBDIR%%/libc/SATS/SIMD_v2df.sats
-%%ATS_LIBDIR%%/libc/SATS/complex.sats
-%%ATS_LIBDIR%%/libc/SATS/ctype.sats
-%%ATS_LIBDIR%%/libc/SATS/curses.sats
-%%ATS_LIBDIR%%/libc/SATS/dirent.sats
-%%ATS_LIBDIR%%/libc/SATS/dlfcn.sats
-%%ATS_LIBDIR%%/libc/SATS/errno.sats
-%%ATS_LIBDIR%%/libc/SATS/fcntl.sats
-%%ATS_LIBDIR%%/libc/SATS/float.sats
-%%ATS_LIBDIR%%/libc/SATS/gmp.sats
-%%ATS_LIBDIR%%/libc/SATS/grp.sats
-%%ATS_LIBDIR%%/libc/SATS/math.sats
-%%ATS_LIBDIR%%/libc/SATS/netdb.sats
-%%ATS_LIBDIR%%/libc/SATS/printf.sats
-%%ATS_LIBDIR%%/libc/SATS/pthread.sats
-%%ATS_LIBDIR%%/libc/SATS/pthread_upbarr.sats
-%%ATS_LIBDIR%%/libc/SATS/pthread_uplock.sats
-%%ATS_LIBDIR%%/libc/SATS/pwd.sats
-%%ATS_LIBDIR%%/libc/SATS/random.sats
-%%ATS_LIBDIR%%/libc/SATS/sched.sats
-%%ATS_LIBDIR%%/libc/SATS/signal.sats
-%%ATS_LIBDIR%%/libc/SATS/stdarg.sats
-%%ATS_LIBDIR%%/libc/SATS/stdio.sats
-%%ATS_LIBDIR%%/libc/SATS/stdlib.sats
-%%ATS_LIBDIR%%/libc/SATS/string.sats
-%%ATS_LIBDIR%%/libc/SATS/strings.sats
-%%ATS_LIBDIR%%/libc/SATS/termios.sats
-%%ATS_LIBDIR%%/libc/SATS/time.sats
-%%ATS_LIBDIR%%/libc/SATS/unistd.sats
-%%ATS_LIBDIR%%/libc/SATS/unistd_pathconf.sats
-%%ATS_LIBDIR%%/libc/SATS/unistd_sysconf.sats
-%%ATS_LIBDIR%%/libc/SATS/utime.sats
-%%ATS_LIBDIR%%/libc/arpa/CATS/inet.cats
-%%ATS_LIBDIR%%/libc/arpa/SATS/inet.sats
-%%ATS_LIBDIR%%/libc/gdbm/CATS/datum.cats
-%%ATS_LIBDIR%%/libc/gdbm/CATS/gdbm.cats
-%%ATS_LIBDIR%%/libc/gdbm/CATS/ndbm.cats
-%%ATS_LIBDIR%%/libc/gdbm/SATS/datum.sats
-%%ATS_LIBDIR%%/libc/gdbm/SATS/gdbm.sats
-%%ATS_LIBDIR%%/libc/gdbm/SATS/ndbm.sats
-%%ATS_LIBDIR%%/libc/netinet/CATS/in.cats
-%%ATS_LIBDIR%%/libc/netinet/SATS/in.sats
-%%ATS_LIBDIR%%/libc/sys/CATS/poll.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/resource.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/select.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/sockaddr.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/socket.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/socket_in.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/socket_un.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/sockopt.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/stat.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/statvfs.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/time.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/types.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/un.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/utsname.cats
-%%ATS_LIBDIR%%/libc/sys/CATS/wait.cats
-%%ATS_LIBDIR%%/libc/sys/DATS/socket.dats
-%%ATS_LIBDIR%%/libc/sys/DATS/socket_in.dats
-%%ATS_LIBDIR%%/libc/sys/DATS/socket_un.dats
-%%ATS_LIBDIR%%/libc/sys/DATS/stat.dats
-%%ATS_LIBDIR%%/libc/sys/SATS/poll.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/resource.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/select.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/sockaddr.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/socket.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/socket_in.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/socket_un.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/sockopt.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/stat.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/statvfs.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/time.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/types.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/un.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/utsname.sats
-%%ATS_LIBDIR%%/libc/sys/SATS/wait.sats
-%%ATS_LIBDIR%%/prelude/CATS/array.cats
-%%ATS_LIBDIR%%/prelude/CATS/basics.cats
-%%ATS_LIBDIR%%/prelude/CATS/bool.cats
-%%ATS_LIBDIR%%/prelude/CATS/byte.cats
-%%ATS_LIBDIR%%/prelude/CATS/char.cats
-%%ATS_LIBDIR%%/prelude/CATS/float.cats
-%%ATS_LIBDIR%%/prelude/CATS/integer.cats
-%%ATS_LIBDIR%%/prelude/CATS/integer_fixed.cats
-%%ATS_LIBDIR%%/prelude/CATS/integer_ptr.cats
-%%ATS_LIBDIR%%/prelude/CATS/lazy.cats
-%%ATS_LIBDIR%%/prelude/CATS/lazy_vt.cats
-%%ATS_LIBDIR%%/prelude/CATS/list.cats
-%%ATS_LIBDIR%%/prelude/CATS/list_vt.cats
-%%ATS_LIBDIR%%/prelude/CATS/matrix.cats
-%%ATS_LIBDIR%%/prelude/CATS/option.cats
-%%ATS_LIBDIR%%/prelude/CATS/pointer.cats
-%%ATS_LIBDIR%%/prelude/CATS/printf.cats
-%%ATS_LIBDIR%%/prelude/CATS/reference.cats
-%%ATS_LIBDIR%%/prelude/CATS/sizetype.cats
-%%ATS_LIBDIR%%/prelude/CATS/string.cats
-%%ATS_LIBDIR%%/prelude/DATS/arith.dats
-%%ATS_LIBDIR%%/prelude/DATS/array.dats
-%%ATS_LIBDIR%%/prelude/DATS/array0.dats
-%%ATS_LIBDIR%%/prelude/DATS/array_prf.dats
-%%ATS_LIBDIR%%/prelude/DATS/basics.dats
-%%ATS_LIBDIR%%/prelude/DATS/bool.dats
-%%ATS_LIBDIR%%/prelude/DATS/dlist_vt.dats
-%%ATS_LIBDIR%%/prelude/DATS/filebas.dats
-%%ATS_LIBDIR%%/prelude/DATS/float.dats
-%%ATS_LIBDIR%%/prelude/DATS/integer.dats
-%%ATS_LIBDIR%%/prelude/DATS/lazy.dats
-%%ATS_LIBDIR%%/prelude/DATS/lazy_vt.dats
-%%ATS_LIBDIR%%/prelude/DATS/list.dats
-%%ATS_LIBDIR%%/prelude/DATS/list0.dats
-%%ATS_LIBDIR%%/prelude/DATS/list_vt.dats
-%%ATS_LIBDIR%%/prelude/DATS/matrix.dats
-%%ATS_LIBDIR%%/prelude/DATS/matrix0.dats
-%%ATS_LIBDIR%%/prelude/DATS/memalign.dats
-%%ATS_LIBDIR%%/prelude/DATS/option.dats
-%%ATS_LIBDIR%%/prelude/DATS/option0.dats
-%%ATS_LIBDIR%%/prelude/DATS/option_vt.dats
-%%ATS_LIBDIR%%/prelude/DATS/pointer.dats
-%%ATS_LIBDIR%%/prelude/DATS/printf.dats
-%%ATS_LIBDIR%%/prelude/DATS/ptrarr.dats
-%%ATS_LIBDIR%%/prelude/DATS/reference.dats
-%%ATS_LIBDIR%%/prelude/DATS/sizetype.dats
-%%ATS_LIBDIR%%/prelude/DATS/string.dats
-%%ATS_LIBDIR%%/prelude/DATS/syndef.dats
-%%ATS_LIBDIR%%/prelude/DATS/unsafe.dats
-%%ATS_LIBDIR%%/prelude/DATS/vsubrw.dats
-%%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats
-%%ATS_LIBDIR%%/prelude/HATS/number.hats
-%%ATS_LIBDIR%%/prelude/HATS/syndef.hats
-%%ATS_LIBDIR%%/prelude/SATS/arith.sats
-%%ATS_LIBDIR%%/prelude/SATS/array.sats
-%%ATS_LIBDIR%%/prelude/SATS/array0.sats
-%%ATS_LIBDIR%%/prelude/SATS/bool.sats
-%%ATS_LIBDIR%%/prelude/SATS/byte.sats
-%%ATS_LIBDIR%%/prelude/SATS/char.sats
-%%ATS_LIBDIR%%/prelude/SATS/dlist_vt.sats
-%%ATS_LIBDIR%%/prelude/SATS/extern.sats
-%%ATS_LIBDIR%%/prelude/SATS/filebas.sats
-%%ATS_LIBDIR%%/prelude/SATS/float.sats
-%%ATS_LIBDIR%%/prelude/SATS/integer.sats
-%%ATS_LIBDIR%%/prelude/SATS/integer_fixed.sats
-%%ATS_LIBDIR%%/prelude/SATS/integer_ptr.sats
-%%ATS_LIBDIR%%/prelude/SATS/lazy.sats
-%%ATS_LIBDIR%%/prelude/SATS/lazy_vt.sats
-%%ATS_LIBDIR%%/prelude/SATS/list.sats
-%%ATS_LIBDIR%%/prelude/SATS/list0.sats
-%%ATS_LIBDIR%%/prelude/SATS/list_vt.sats
-%%ATS_LIBDIR%%/prelude/SATS/matrix.sats
-%%ATS_LIBDIR%%/prelude/SATS/matrix0.sats
-%%ATS_LIBDIR%%/prelude/SATS/memalign.sats
-%%ATS_LIBDIR%%/prelude/SATS/memory.sats
-%%ATS_LIBDIR%%/prelude/SATS/multiset.sats
-%%ATS_LIBDIR%%/prelude/SATS/number.sats
-%%ATS_LIBDIR%%/prelude/SATS/option.sats
-%%ATS_LIBDIR%%/prelude/SATS/option0.sats
-%%ATS_LIBDIR%%/prelude/SATS/option_vt.sats
-%%ATS_LIBDIR%%/prelude/SATS/pointer.sats
-%%ATS_LIBDIR%%/prelude/SATS/printf.sats
-%%ATS_LIBDIR%%/prelude/SATS/ptrarr.sats
-%%ATS_LIBDIR%%/prelude/SATS/reference.sats
-%%ATS_LIBDIR%%/prelude/SATS/sizetype.sats
-%%ATS_LIBDIR%%/prelude/SATS/string.sats
-%%ATS_LIBDIR%%/prelude/SATS/syndef.sats
-%%ATS_LIBDIR%%/prelude/SATS/unsafe.sats
-%%ATS_LIBDIR%%/prelude/SATS/vsubrw.sats
-%%ATS_LIBDIR%%/prelude/ats_main_prelude.dats
-%%ATS_LIBDIR%%/prelude/basics_dyn.sats
-%%ATS_LIBDIR%%/prelude/basics_sta.sats
-%%ATS_LIBDIR%%/prelude/fixity.ats
-%%ATS_LIBDIR%%/prelude/macrodef.sats
-%%ATS_LIBDIR%%/prelude/params.hats
-%%ATS_LIBDIR%%/prelude/params_system.hats
-%%ATS_LIBDIR%%/prelude/sortdef.sats