• +- unpacking source archive /nix/store/8gnzz40rwja9b0p053j7n0s1i60kjavw-source-tarball/tarballs/prolog-tools-0.2pre16985.tar.gz/...-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