unpacking source archive /nix/store/5lavbqwp5khsgjb840xkl740i8ys9h8h-source-tarball/tarballs/lutin-package-0.2.tar.gz lutin-package-0.2/ lutin-package-0.2/config/ lutin-package-0.2/config/autoxt.m4 lutin-package-0.2/config/dryad.m4 lutin-package-0.2/config/java-front.m4 lutin-package-0.2/config/prolog-tools.m4 lutin-package-0.2/config/swi-prolog.m4 lutin-package-0.2/config/Makefile.xt lutin-package-0.2/config/Makefile.am lutin-package-0.2/config/Makefile.in lutin-package-0.2/config/config.guess lutin-package-0.2/config/config.sub lutin-package-0.2/config/depcomp lutin-package-0.2/config/install-sh lutin-package-0.2/config/ltmain.sh lutin-package-0.2/config/missing lutin-package-0.2/README lutin-package-0.2/configure.ac lutin-package-0.2/aclocal.m4 lutin-package-0.2/Makefile.am lutin-package-0.2/Makefile.in lutin-package-0.2/configure lutin-package-0.2/AUTHORS lutin-package-0.2/COPYING lutin-package-0.2/ChangeLog lutin-package-0.2/INSTALL lutin-package-0.2/NEWS lutin-package-0.2/TODO lutin-package-0.2/src/ lutin-package-0.2/src/Makefile.am lutin-package-0.2/src/Makefile.in lutin-package-0.2/src/check_program/ lutin-package-0.2/src/check_program/Makefile.am lutin-package-0.2/src/check_program/Makefile.in lutin-package-0.2/src/check_program/graph_relations_tools.pl lutin-package-0.2/src/check_program/le_evaluator.pl lutin-package-0.2/src/check_program/program_checker.pl lutin-package-0.2/src/check_program/check_program.pl lutin-package-0.2/src/check_program/Readme.txt lutin-package-0.2/src/check_program/constraints.pl lutin-package-0.2/src/check_program/prolog_header.pl lutin-package-0.2/src/java-traverse/ lutin-package-0.2/src/java-traverse/Makefile.am lutin-package-0.2/src/java-traverse/Makefile.in lutin-package-0.2/src/java-traverse/java-traverse.str lutin-package-0.2/src/java-traverse/java-traverse.meta lutin-package-0.2/src/java-locate/ lutin-package-0.2/src/java-locate/Makefile.am lutin-package-0.2/src/java-locate/Makefile.in lutin-package-0.2/src/java-locate/pl-to-term.str lutin-package-0.2/src/java-locate/gen-java-restore-case.str lutin-package-0.2/src/java-locate/gen-java-restore-case.meta lutin-package-0.2/src/java-locate/java-locate.str lutin-package-0.2/src/java-fold/ lutin-package-0.2/src/java-fold/Makefile.am lutin-package-0.2/src/java-fold/Makefile.in lutin-package-0.2/src/java-fold/dryad-ex.str lutin-package-0.2/src/java-fold/dryad-update-relation.str lutin-package-0.2/src/java-fold/dynamic-code-fold.str lutin-package-0.2/src/java-fold/fold-input.str lutin-package-0.2/src/java-fold/gen-java-restore-case.meta lutin-package-0.2/src/java-fold/gen-java-restore-case.str lutin-package-0.2/src/java-fold/generic-fold.str lutin-package-0.2/src/java-fold/java-fold.meta lutin-package-0.2/src/java-fold/java-fold.str lutin-package-0.2/src/java-fold/pl-to-term.str lutin-package-0.2/src/java-fold/static-code-fold.str lutin-package-0.2/src/java-fold/static-data-fold.str lutin-package-0.2/src/java-fold/type-fold.str lutin-package-0.2/src/java-graph/ lutin-package-0.2/src/java-graph/Makefile.am lutin-package-0.2/src/java-graph/Makefile.in lutin-package-0.2/src/java-graph/term-to-pl.str lutin-package-0.2/src/java-graph/java-graph.str lutin-package-0.2/src/java-graph/java-to-dot.str lutin-package-0.2/src/java-graph/java-to-dot.meta lutin-package-0.2/src/lutin/ lutin-package-0.2/src/lutin/Makefile.am lutin-package-0.2/src/lutin/Makefile.in lutin-package-0.2/src/lutin/lutin.str lutin-package-0.2/src/lutin/save-graph.str lutin-package-0.2/src/violation-pp/ lutin-package-0.2/src/violation-pp/Makefile.am lutin-package-0.2/src/violation-pp/Makefile.in lutin-package-0.2/src/violation-pp/violation-to-abox.str lutin-package-0.2/src/violation-pp/violation-to-abox.meta lutin-package-0.2/src/violation-pp/pp-violation.str lutin-package-0.2/src/violation-correct/ lutin-package-0.2/src/violation-correct/Makefile.am lutin-package-0.2/src/violation-correct/Makefile.in lutin-package-0.2/src/violation-correct/access_graph_constraints.pl lutin-package-0.2/src/violation-correct/access_graph_conv.pl lutin-package-0.2/src/violation-correct/access_graph_fold.pl lutin-package-0.2/src/violation-correct/access_graph_lib.pl lutin-package-0.2/src/violation-correct/correct_program.pl lutin-package-0.2/src/violation-correct/violations_correction.pl lutin-package-0.2/tests/ lutin-package-0.2/tests/Makefile.am lutin-package-0.2/tests/Makefile.in lutin-package-0.2/tests/java-graph/ lutin-package-0.2/tests/java-graph/Makefile.am lutin-package-0.2/tests/java-graph/Makefile.in lutin-package-0.2/tests/java-graph/ArrayType.java lutin-package-0.2/tests/java-graph/Cast.java lutin-package-0.2/tests/java-graph/Constrinv.java lutin-package-0.2/tests/java-graph/Editor.java lutin-package-0.2/tests/java-graph/Editor1.java lutin-package-0.2/tests/java-graph/Instanceof.java lutin-package-0.2/tests/java-graph/Method.java lutin-package-0.2/tests/java-graph/Overload.java lutin-package-0.2/tests/java-graph/ShapeTest1.java lutin-package-0.2/tests/java-graph/java03.java lutin-package-0.2/tests/java-graph/java07.java lutin-package-0.2/tests/java-graph/java08.java lutin-package-0.2/tests/java-graph/ArrayType.java.ref lutin-package-0.2/tests/java-graph/Cast.java.ref lutin-package-0.2/tests/java-graph/Constrinv.java.ref lutin-package-0.2/tests/java-graph/Editor.java.ref lutin-package-0.2/tests/java-graph/Editor1.java.ref lutin-package-0.2/tests/java-graph/Instanceof.java.ref lutin-package-0.2/tests/java-graph/Method.java.ref lutin-package-0.2/tests/java-graph/Overload.java.ref lutin-package-0.2/tests/java-graph/ShapeTest1.java.ref lutin-package-0.2/tests/java-graph/java03.java.ref lutin-package-0.2/tests/java-graph/java07.java.ref lutin-package-0.2/tests/java-graph/java08.java.ref lutin-package-0.2/tests/java-graph/checkgraph.sh lutin-package-0.2/tests/sampleTests/ lutin-package-0.2/tests/sampleTests/Makefile.am lutin-package-0.2/tests/sampleTests/Makefile.in lutin-package-0.2/tests/sampleTests/lutin-sunit.str lutin-package-0.2/tests/sampleTests/arraytype.java lutin-package-0.2/tests/sampleTests/cast.java lutin-package-0.2/tests/sampleTests/editor.java lutin-package-0.2/tests/sampleTests/generics.java lutin-package-0.2/tests/sampleTests/instanceof.java lutin-package-0.2/tests/sampleTests/mail.java lutin-package-0.2/tests/sampleTests/maze.java lutin-package-0.2/tests/sampleTests/method.java lutin-package-0.2/tests/sampleTests/overload.java lutin-package-0.2/tests/sampleTests/shapetest1.java lutin-package-0.2/tests/sampleTests/staticinit.java lutin-package-0.2/tests/sampleTests/arraytype.pl lutin-package-0.2/tests/sampleTests/cast.pl lutin-package-0.2/tests/sampleTests/editor.pl lutin-package-0.2/tests/sampleTests/generics.pl lutin-package-0.2/tests/sampleTests/instanceof.pl lutin-package-0.2/tests/sampleTests/mail.pl lutin-package-0.2/tests/sampleTests/maze.pl lutin-package-0.2/tests/sampleTests/method.pl lutin-package-0.2/tests/sampleTests/overload.pl lutin-package-0.2/tests/sampleTests/shapetest1.pl lutin-package-0.2/tests/sampleTests/staticinit.pl lutin-package-0.2/tests/sampleTests/arraytype.ref lutin-package-0.2/tests/sampleTests/cast.ref lutin-package-0.2/tests/sampleTests/editor.ref lutin-package-0.2/tests/sampleTests/generics.ref lutin-package-0.2/tests/sampleTests/instanceof.ref lutin-package-0.2/tests/sampleTests/mail.ref lutin-package-0.2/tests/sampleTests/maze.ref lutin-package-0.2/tests/sampleTests/method.ref lutin-package-0.2/tests/sampleTests/overload.ref lutin-package-0.2/tests/sampleTests/shapetest1.ref lutin-package-0.2/tests/sampleTests/staticinit.ref lutin-package-0.2/tests/violation-correct/ lutin-package-0.2/tests/violation-correct/Makefile.am lutin-package-0.2/tests/violation-correct/Makefile.in lutin-package-0.2/tests/violation-correct/Personne.java lutin-package-0.2/tests/violation-correct/Editor.java lutin-package-0.2/tests/violation-correct/Personne-graph.pl lutin-package-0.2/tests/violation-correct/Editor-graph.pl lutin-package-0.2/tests/violation-correct/Personne-violations.pl lutin-package-0.2/tests/violation-correct/Editor-violations.pl lutin-package-0.2/tests/violation-correct/Personne-constraints.pl lutin-package-0.2/tests/violation-correct/Editor-constraints.pl lutin-package-0.2/tests/violation-correct/Personne-corrections.pl lutin-package-0.2/tests/violation-correct/Editor-corrections.pl lutin-package-0.2/tests/violation-correct/check.sh lutin-package-0.2/tests/java-fold/ lutin-package-0.2/tests/java-fold/Makefile.am lutin-package-0.2/tests/java-fold/Makefile.in lutin-package-0.2/tests/java-fold/test-fold-input.str lutin-package-0.2/tests/java-fold/static_code_fold.pl lutin-package-0.2/tests/java-fold/viol-correction.pl lutin-package-0.2/tests/java-fold/static_code_fold.out lutin-package-0.2/tests/java-fold/viol-correction.out lutin-package-0.2/tests/java-fold/personne.java lutin-package-0.2/tests/java-fold/scf-use-this.java lutin-package-0.2/tests/java-fold/scf-all-acces.java lutin-package-0.2/tests/java-fold/scf-method.java lutin-package-0.2/tests/java-fold/scf-static-method.java lutin-package-0.2/tests/java-fold/scf-constructor.java lutin-package-0.2/tests/java-fold/dcf-personne.java lutin-package-0.2/tests/java-fold/sdf-personne.java lutin-package-0.2/tests/java-fold/sdf-two-fields.java lutin-package-0.2/tests/java-fold/personne.fold.pl lutin-package-0.2/tests/java-fold/scf-use-this.fold.pl lutin-package-0.2/tests/java-fold/scf-all-acces.fold.pl lutin-package-0.2/tests/java-fold/scf-method.fold.pl lutin-package-0.2/tests/java-fold/scf-static-method.fold.pl lutin-package-0.2/tests/java-fold/scf-constructor.fold.pl lutin-package-0.2/tests/java-fold/dcf-personne.fold.pl lutin-package-0.2/tests/java-fold/sdf-personne.fold.pl lutin-package-0.2/tests/java-fold/sdf-two-fields.fold.pl lutin-package-0.2/tests/java-fold/personne.res.java lutin-package-0.2/tests/java-fold/scf-use-this.res.java lutin-package-0.2/tests/java-fold/scf-all-acces.res.java lutin-package-0.2/tests/java-fold/scf-method.res.java lutin-package-0.2/tests/java-fold/scf-static-method.res.java lutin-package-0.2/tests/java-fold/scf-constructor.res.java lutin-package-0.2/tests/java-fold/dcf-personne.res.java lutin-package-0.2/tests/java-fold/sdf-personne.res.java lutin-package-0.2/tests/java-fold/sdf-two-fields.res.java lutin-package-0.2/tests/java-fold/test-fold.sh lutin-package-0.2/tests/lutin/ lutin-package-0.2/tests/lutin/Makefile.am lutin-package-0.2/tests/lutin/Makefile.in lutin-package-0.2/tests/lutin/personne.java lutin-package-0.2/tests/lutin/dcf-personne.java lutin-package-0.2/tests/lutin/personne.pl lutin-package-0.2/tests/lutin/dcf-personne.pl lutin-package-0.2/tests/lutin/personne.ref.java lutin-package-0.2/tests/lutin/dcf-personne.ref.java lutin-package-0.2/tests/lutin/check.sh source root is lutin-package-0.2