unpacking source archive /nix/store/8gnzz40rwja9b0p053j7n0s1i60kjavw-source-tarball/tarballs/prolog-tools-0.2pre16985.tar.gz
prolog-tools-0.2pre16985/
prolog-tools-0.2pre16985/README
prolog-tools-0.2pre16985/autoxt.m4
prolog-tools-0.2pre16985/configure.ac
prolog-tools-0.2pre16985/aclocal.m4
prolog-tools-0.2pre16985/Makefile.am
prolog-tools-0.2pre16985/Makefile.in
prolog-tools-0.2pre16985/prolog-tools.pc.in
prolog-tools-0.2pre16985/prolog-tools.spec.in
prolog-tools-0.2pre16985/Makefile.xt
prolog-tools-0.2pre16985/configure
prolog-tools-0.2pre16985/AUTHORS
prolog-tools-0.2pre16985/COPYING
prolog-tools-0.2pre16985/ChangeLog
prolog-tools-0.2pre16985/INSTALL
prolog-tools-0.2pre16985/NEWS
prolog-tools-0.2pre16985/config.guess
prolog-tools-0.2pre16985/config.sub
prolog-tools-0.2pre16985/depcomp
prolog-tools-0.2pre16985/install-sh
prolog-tools-0.2pre16985/ltmain.sh
prolog-tools-0.2pre16985/missing
prolog-tools-0.2pre16985/ylwrap
prolog-tools-0.2pre16985/bootstrap
prolog-tools-0.2pre16985/prolog-tools.spec
prolog-tools-0.2pre16985/svn-revision
prolog-tools-0.2pre16985/prolog-tools.pc
prolog-tools-0.2pre16985/syn/
prolog-tools-0.2pre16985/syn/Makefile.am
prolog-tools-0.2pre16985/syn/Makefile.in
prolog-tools-0.2pre16985/syn/GrammarRules.sdf
prolog-tools-0.2pre16985/syn/Prolog.sdf
prolog-tools-0.2pre16985/syn/PrologRenamed.sdf
prolog-tools-0.2pre16985/syn/Stratego-Prolog.sdf
prolog-tools-0.2pre16985/sig/
prolog-tools-0.2pre16985/sig/Makefile.am
prolog-tools-0.2pre16985/sig/Makefile.in
prolog-tools-0.2pre16985/pp/
prolog-tools-0.2pre16985/pp/Makefile.am
prolog-tools-0.2pre16985/pp/Makefile.in
prolog-tools-0.2pre16985/pp/Prolog2abox.str
prolog-tools-0.2pre16985/pp/concrete-syntax.str
prolog-tools-0.2pre16985/pp/Prolog2abox.meta
prolog-tools-0.2pre16985/pp/Prolog-pretty.pp
prolog-tools-0.2pre16985/meta/
prolog-tools-0.2pre16985/meta/Makefile.am
prolog-tools-0.2pre16985/meta/Makefile.in
prolog-tools-0.2pre16985/meta/prolog-desugar.str
prolog-tools-0.2pre16985/meta/prolog-explode.str
prolog-tools-0.2pre16985/xtc/
prolog-tools-0.2pre16985/xtc/Makefile.am
prolog-tools-0.2pre16985/xtc/Makefile.in
prolog-tools-0.2pre16985/xtc/parse-prolog.str
prolog-tools-0.2pre16985/xtc/pp-prolog.str
prolog-tools-0.2pre16985/xtc/prolog-xtc-tools.str
prolog-tools-0.2pre16985/xtc/pl.meta
prolog-tools-0.2pre16985/tests/
prolog-tools-0.2pre16985/tests/Makefile.am
prolog-tools-0.2pre16985/tests/Makefile.in
prolog-tools-0.2pre16985/tests/syn/
prolog-tools-0.2pre16985/tests/syn/Makefile.am
prolog-tools-0.2pre16985/tests/syn/Makefile.in
prolog-tools-0.2pre16985/tests/syn/prolog.testsuite
prolog-tools-0.2pre16985/tests/syn/prolog-prop/
prolog-tools-0.2pre16985/tests/syn/prolog-prop/Makefile.am
prolog-tools-0.2pre16985/tests/syn/prolog-prop/Makefile.in
prolog-tools-0.2pre16985/tests/syn/prolog-prop/PrologProp.sdf
prolog-tools-0.2pre16985/tests/syn/prolog-prop/Prop.sdf
prolog-tools-0.2pre16985/tests/syn/prolog-prop/prolog-prop.testsuite
prolog-tools-0.2pre16985/tests/syn/prolog-prop/test1.plprop
prolog-tools-0.2pre16985/tests/syn/prolog-prop/test1.meta
prolog-tools-0.2pre16985/tests/syn/programs/
prolog-tools-0.2pre16985/tests/syn/programs/Makefile.am
prolog-tools-0.2pre16985/tests/syn/programs/Makefile.in
prolog-tools-0.2pre16985/tests/syn/programs/big1.pl
prolog-tools-0.2pre16985/tests/syn/programs/comment.pl
prolog-tools-0.2pre16985/tests/syn/programs/comment2.pl
prolog-tools-0.2pre16985/tests/syn/programs/gsl-maximization.pl
prolog-tools-0.2pre16985/tests/syn/programs/simplex-abstract-syntax-v1.pl
prolog-tools-0.2pre16985/tests/syn/programs/simplex.pl
prolog-tools-0.2pre16985/tests/syn/programs/small1.pl
prolog-tools-0.2pre16985/tests/syn/programs/small2.pl
prolog-tools-0.2pre16985/tests/syn/programs/small3.pl
prolog-tools-0.2pre16985/tests/syn/programs/small4.pl
prolog-tools-0.2pre16985/tests/syn/programs/small5.pl
prolog-tools-0.2pre16985/bridge/
prolog-tools-0.2pre16985/bridge/Makefile.am
prolog-tools-0.2pre16985/bridge/Makefile.in
prolog-tools-0.2pre16985/bridge/prolog-term-grm.c
prolog-tools-0.2pre16985/bridge/prolog-term-grm.h
prolog-tools-0.2pre16985/bridge/prolog-term-lex.c
prolog-tools-0.2pre16985/bridge/prolog-term-grm.y
prolog-tools-0.2pre16985/bridge/prolog-term-lex.l
prolog-tools-0.2pre16985/bridge/plterm-to-aterm.c
prolog-tools-0.2pre16985/bridge/options.c
source root is prolog-tools-0.2pre16985