unpacking source archive /nix/store/y3fb10b3ih45m9jzwnvvk2knixqq7klf-source-tarball/tarballs/pt-support-2.4.tar.gz pt-support-2.4/ pt-support-2.4/ltmain.sh pt-support-2.4/pt-support.pc.in pt-support-2.4/Makefile.in pt-support-2.4/COPYING pt-support-2.4/README pt-support-2.4/Makefile.am pt-support-2.4/libptmept/ pt-support-2.4/libptmept/Makefile.in pt-support-2.4/libptmept/PTMEPT_dict.c pt-support-2.4/libptmept/Makefile.am pt-support-2.4/libptmept/PTMEPT.c pt-support-2.4/libptmept/lift.c pt-support-2.4/libptmept/PTMEPT.h pt-support-2.4/libptmept/lower.c pt-support-2.4/libptmept/AsFix.def pt-support-2.4/libptmept/PTMEPT_dict.h pt-support-2.4/libptmept/PTMEPT-utils.h pt-support-2.4/Makefile.meta pt-support-2.4/config.guess pt-support-2.4/libmept/ pt-support-2.4/libmept/MEPT-posinfo.c pt-support-2.4/libmept/MEPT-yield.h pt-support-2.4/libmept/Makefile.in pt-support-2.4/libmept/MEPT-length.h pt-support-2.4/libmept/MEPT-ordering.c pt-support-2.4/libmept/MEPT-origins.c pt-support-2.4/libmept/Makefile.am pt-support-2.4/libmept/MEPT-apply.c pt-support-2.4/libmept/MEPT-origins.h pt-support-2.4/libmept/MEPT.c pt-support-2.4/libmept/MEPT_dict.h pt-support-2.4/libmept/MEPT-layout.h pt-support-2.4/libmept/MEPT-ambtracker.c pt-support-2.4/libmept/MEPT-symbols.h pt-support-2.4/libmept/MEPT-args.h pt-support-2.4/libmept/MEPT-annotations.h pt-support-2.4/libmept/MEPT-visitors.h pt-support-2.4/libmept/MEPT-tree.h pt-support-2.4/libmept/MEPT-renaming.c pt-support-2.4/libmept/MEPT-yieldprod.c pt-support-2.4/libmept/MEPT-layout.c pt-support-2.4/libmept/MEPT-renaming.h pt-support-2.4/libmept/MEPT-yieldprod.h pt-support-2.4/libmept/MEPT.h pt-support-2.4/libmept/MEPT-args.c pt-support-2.4/libmept/MEPT-implode.h pt-support-2.4/libmept/MEPT-start.c pt-support-2.4/libmept/MEPT-posinfo.h pt-support-2.4/libmept/MEPT-annotations.c pt-support-2.4/libmept/MEPT-start.h pt-support-2.4/libmept/MEPT-characters.c pt-support-2.4/libmept/MEPT-flatten.c pt-support-2.4/libmept/MEPT-yield.c pt-support-2.4/libmept/MEPT-length.c pt-support-2.4/libmept/MEPT-symbols.c pt-support-2.4/libmept/MEPT-ordering.h pt-support-2.4/libmept/MEPT-visitors.c pt-support-2.4/libmept/MEPT-implode.c pt-support-2.4/libmept/MEPT-apply.h pt-support-2.4/libmept/MEPT-productions.h pt-support-2.4/libmept/MEPT-ambtracker.h pt-support-2.4/libmept/MEPT_dict.c pt-support-2.4/libmept/MEPT-flatten.h pt-support-2.4/libmept/MEPT-characters.h pt-support-2.4/libmept/MEPT-productions.c pt-support-2.4/libmept/MEPT-utils.h pt-support-2.4/libmept/MEPT-tree.c pt-support-2.4/install-sh pt-support-2.4/Makefile.top.meta pt-support-2.4/ChangeLog pt-support-2.4/compile pt-support-2.4/test/ pt-support-2.4/test/Makefile.in pt-support-2.4/test/Makefile.am pt-support-2.4/test/terms/ pt-support-2.4/test/terms/Ten.pt pt-support-2.4/test/terms/Makefile.in pt-support-2.4/test/terms/genTermsDict.sh.src pt-support-2.4/test/terms/Makefile.am pt-support-2.4/test/terms/Two.pt pt-support-2.4/test/terms/Integers.pt pt-support-2.4/test/terms/amb2.pt pt-support-2.4/test/terms/DeclareA.pt pt-support-2.4/test/terms/TrueAndFalse.pt pt-support-2.4/test/terms/OtherTrueAndFalse.pt pt-support-2.4/test/terms/AnnotatedTrueAndFalse.pt pt-support-2.4/test/terms/DeclareB.pt pt-support-2.4/test/terms/True.pt pt-support-2.4/test/terms/amb1.pt pt-support-2.4/test/terms/Twenty.pt pt-support-2.4/test/terms/DeclareAB.pt pt-support-2.4/test/terms/False.pt pt-support-2.4/test/mept-test.c pt-support-2.4/NEWS pt-support-2.4/config.sub pt-support-2.4/configure pt-support-2.4/aclocal.m4 pt-support-2.4/utils/ pt-support-2.4/utils/Makefile.in pt-support-2.4/utils/apply-function.h pt-support-2.4/utils/Makefile.am pt-support-2.4/utils/position-annotator.c pt-support-2.4/utils/apply-function.isrc pt-support-2.4/utils/flattenPT-main.c pt-support-2.4/utils/liftPT-main.c pt-support-2.4/utils/ambiguity-reporter.isrc pt-support-2.4/utils/position-annotator.h pt-support-2.4/utils/filterPT/ pt-support-2.4/utils/filterPT/main.c pt-support-2.4/utils/filterPT/flattenAgain.c pt-support-2.4/utils/filterPT/Makefile.in pt-support-2.4/utils/filterPT/minmax.h pt-support-2.4/utils/filterPT/Makefile.am pt-support-2.4/utils/filterPT/test/ pt-support-2.4/utils/filterPT/test/Makefile.in pt-support-2.4/utils/filterPT/test/Makefile.am pt-support-2.4/utils/filterPT/test/terms/ pt-support-2.4/utils/filterPT/test/terms/Makefile.in pt-support-2.4/utils/filterPT/test/terms/Makefile.am pt-support-2.4/utils/filterPT/test/terms/Overlapping.1.trm pt-support-2.4/utils/filterPT/test/terms/Simple.2.trm pt-support-2.4/utils/filterPT/test/terms/Simple.1.trm pt-support-2.4/utils/filterPT/test/terms/Ambiguous.1.trm pt-support-2.4/utils/filterPT/test/terms/MBE.1.trm pt-support-2.4/utils/filterPT/test/terms/Nested.1.trm pt-support-2.4/utils/filterPT/test/template.sh pt-support-2.4/utils/filterPT/test/out/ pt-support-2.4/utils/filterPT/test/out/Makefile.in pt-support-2.4/utils/filterPT/test/out/Makefile.am pt-support-2.4/utils/filterPT/test/out/Ambiguous.1.out pt-support-2.4/utils/filterPT/test/out/Nested.1.out pt-support-2.4/utils/filterPT/test/out/Overlapping.1.out pt-support-2.4/utils/filterPT/test/out/Simple.2.out pt-support-2.4/utils/filterPT/test/out/Simple.1.out pt-support-2.4/utils/filterPT/test/sdf/ pt-support-2.4/utils/filterPT/test/sdf/Simple.tbl pt-support-2.4/utils/filterPT/test/sdf/Makefile.in pt-support-2.4/utils/filterPT/test/sdf/Makefile.am pt-support-2.4/utils/filterPT/test/sdf/Water.sdf pt-support-2.4/utils/filterPT/test/sdf/Layout.sdf pt-support-2.4/utils/filterPT/test/sdf/Nested.tbl pt-support-2.4/utils/filterPT/test/sdf/Nested.sdf pt-support-2.4/utils/filterPT/test/sdf/Overlapping.tbl pt-support-2.4/utils/filterPT/test/sdf/Ambiguous.tbl pt-support-2.4/utils/filterPT/test/sdf/Ambiguous.sdf pt-support-2.4/utils/filterPT/test/sdf/Overlapping.sdf pt-support-2.4/utils/filterPT/test/sdf/MBE.sdf pt-support-2.4/utils/filterPT/test/in/ pt-support-2.4/utils/filterPT/test/in/Makefile.in pt-support-2.4/utils/filterPT/test/in/Makefile.am pt-support-2.4/utils/filterPT/test/in/Simple.1.in pt-support-2.4/utils/filterPT/test/in/Nested.1.in pt-support-2.4/utils/filterPT/test/in/Overlapping.1.in pt-support-2.4/utils/filterPT/test/in/Simple.2.in pt-support-2.4/utils/filterPT/test/in/Ambiguous.1.in pt-support-2.4/utils/filterPT/flattenAgain.h pt-support-2.4/utils/filterPT/minmax.c pt-support-2.4/utils/unparseProd-main.c pt-support-2.4/utils/ambiguity-reporter.h pt-support-2.4/utils/unparser.isrc pt-support-2.4/utils/position-annotator.isrc pt-support-2.4/utils/implodePT/ pt-support-2.4/utils/implodePT/Makefile.in pt-support-2.4/utils/implodePT/Makefile.am pt-support-2.4/utils/implodePT/test/ pt-support-2.4/utils/implodePT/test/Makefile.in pt-support-2.4/utils/implodePT/test/grammar/ pt-support-2.4/utils/implodePT/test/grammar/Makefile.in pt-support-2.4/utils/implodePT/test/grammar/Makefile.am pt-support-2.4/utils/implodePT/test/grammar/tests.def pt-support-2.4/utils/implodePT/test/grammar/tests.tbl pt-support-2.4/utils/implodePT/test/Makefile.am pt-support-2.4/utils/implodePT/test/terms/ pt-support-2.4/utils/implodePT/test/terms/Alt3a.trm pt-support-2.4/utils/implodePT/test/terms/Iter-star.trm pt-support-2.4/utils/implodePT/test/terms/Makefile.in pt-support-2.4/utils/implodePT/test/terms/Alt3b.trm pt-support-2.4/utils/implodePT/test/terms/Alt2a.trm pt-support-2.4/utils/implodePT/test/terms/Makefile.am pt-support-2.4/utils/implodePT/test/terms/Var2.trm pt-support-2.4/utils/implodePT/test/terms/Alt1b.trm pt-support-2.4/utils/implodePT/test/terms/Iter-star-sep.trm pt-support-2.4/utils/implodePT/test/terms/Nesting-iter-sep1.trm pt-support-2.4/utils/implodePT/test/terms/Seq.trm pt-support-2.4/utils/implodePT/test/terms/Iter.trm pt-support-2.4/utils/implodePT/test/terms/Empty-iter-star-sep.trm pt-support-2.4/utils/implodePT/test/terms/Alt2b.trm pt-support-2.4/utils/implodePT/test/terms/Iter-sep.trm pt-support-2.4/utils/implodePT/test/terms/Nesting-iter-sep2.trm pt-support-2.4/utils/implodePT/test/terms/Alt4a.trm pt-support-2.4/utils/implodePT/test/terms/ListVar.trm pt-support-2.4/utils/implodePT/test/terms/Var1.trm pt-support-2.4/utils/implodePT/test/terms/Nesting-iter-star-sep.trm pt-support-2.4/utils/implodePT/test/terms/tiny.trm pt-support-2.4/utils/implodePT/test/terms/SeqOpt2.trm pt-support-2.4/utils/implodePT/test/terms/Alt1a.trm pt-support-2.4/utils/implodePT/test/terms/SeqOpt3.trm pt-support-2.4/utils/implodePT/test/terms/SeqOpt1.trm pt-support-2.4/utils/implodePT/test/out/ pt-support-2.4/utils/implodePT/test/out/SeqOpt2.ref pt-support-2.4/utils/implodePT/test/out/Makefile.in pt-support-2.4/utils/implodePT/test/out/Alt2a.ref pt-support-2.4/utils/implodePT/test/out/Seq.ref pt-support-2.4/utils/implodePT/test/out/Makefile.am pt-support-2.4/utils/implodePT/test/out/Var1.ref pt-support-2.4/utils/implodePT/test/out/Var2.ref pt-support-2.4/utils/implodePT/test/out/Empty-iter-star-sep.ref pt-support-2.4/utils/implodePT/test/out/SeqOpt3.ref pt-support-2.4/utils/implodePT/test/out/Iter-star-sep.ref pt-support-2.4/utils/implodePT/test/out/Alt3b.ref pt-support-2.4/utils/implodePT/test/out/Alt1b.ref pt-support-2.4/utils/implodePT/test/out/Nesting-iter-sep1.ref pt-support-2.4/utils/implodePT/test/out/Iter.ref pt-support-2.4/utils/implodePT/test/out/SeqOpt1.ref pt-support-2.4/utils/implodePT/test/out/Alt2b.ref pt-support-2.4/utils/implodePT/test/out/Alt3a.ref pt-support-2.4/utils/implodePT/test/out/Alt1a.ref pt-support-2.4/utils/implodePT/test/out/Iter-star.ref pt-support-2.4/utils/implodePT/test/out/Nesting-iter-star-sep.ref pt-support-2.4/utils/implodePT/test/out/ListVar.ref pt-support-2.4/utils/implodePT/test/out/Alt4a.ref pt-support-2.4/utils/implodePT/test/out/Iter-sep.ref pt-support-2.4/utils/implodePT/test/out/Nesting-iter-sep2.ref pt-support-2.4/utils/implodePT/test/in/ pt-support-2.4/utils/implodePT/test/in/Alt3a.in pt-support-2.4/utils/implodePT/test/in/Iter.in pt-support-2.4/utils/implodePT/test/in/Makefile.in pt-support-2.4/utils/implodePT/test/in/Alt2b.in pt-support-2.4/utils/implodePT/test/in/Makefile.am pt-support-2.4/utils/implodePT/test/in/Alt4a.in pt-support-2.4/utils/implodePT/test/in/ListVar.in pt-support-2.4/utils/implodePT/test/in/Empty-iter-star-sep.in pt-support-2.4/utils/implodePT/test/in/Iter-star-sep.in pt-support-2.4/utils/implodePT/test/in/SeqOpt2.in pt-support-2.4/utils/implodePT/test/in/Var2.in pt-support-2.4/utils/implodePT/test/in/Nesting-iter-sep1.in pt-support-2.4/utils/implodePT/test/in/Alt3b.in pt-support-2.4/utils/implodePT/test/in/Alt2a.in pt-support-2.4/utils/implodePT/test/in/Nesting-iter-sep2.in pt-support-2.4/utils/implodePT/test/in/SeqOpt1.in pt-support-2.4/utils/implodePT/test/in/Iter-star.in pt-support-2.4/utils/implodePT/test/in/Alt1a.in pt-support-2.4/utils/implodePT/test/in/Iter-sep.in pt-support-2.4/utils/implodePT/test/in/Nesting-iter-star-sep.in pt-support-2.4/utils/implodePT/test/in/Var1.in pt-support-2.4/utils/implodePT/test/in/Seq.in pt-support-2.4/utils/implodePT/test/in/Alt1b.in pt-support-2.4/utils/implodePT/test/in/SeqOpt3.in pt-support-2.4/utils/implodePT/implodePT-main.c pt-support-2.4/utils/unparsePT-main.c pt-support-2.4/utils/ambtracker-main.c pt-support-2.4/utils/unparser.h pt-support-2.4/utils/apply-function.c pt-support-2.4/utils/ambiguity-reporter.c pt-support-2.4/utils/addPosInfo.c pt-support-2.4/utils/unparser.c pt-support-2.4/utils/apply-function-main.c pt-support-2.4/utils/comparePT-main.c pt-support-2.4/utils/orderPT-main.c pt-support-2.4/reconf pt-support-2.4/meta-build.m4 pt-support-2.4/Doxyfile.meta pt-support-2.4/missing pt-support-2.4/INSTALL pt-support-2.4/configure.ac pt-support-2.4/depcomp pt-support-2.4/AUTHORS source root is pt-support-2.4