[(Tool("stratego-util"),[("0.9.2","/usr/stratego-util")]),(Tool("boxenv"),[("0.9.2","/usr/boxenv")]),(Tool("tg2fold-strategy"),[("0.9.2","/usr/lib/xt-strategoxt/tg2fold-strategy")]),(Tool("tg2fc"),[("0.9.2","/usr/lib/xt-strategoxt/tg2fc")]),(Tool("sig2fold-strategy"),[("0.9.2","/usr/bin/sig2fold-strategy")]),(Tool("sig2fc"),[("0.9.2","/usr/bin/sig2fc")]),(Tool("strat-count"),[("0.9.2","/usr/lib/xt-strategoxt/strat-count"),("0.9.2","/usr/bin/strat-count")]),(Tool("conc-modules"),[("0.9.2","/usr/lib/xt-strategoxt/conc-modules"),("0.9.2","/usr/bin/conc-modules")]),(Tool("dummy.pp.af"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/dummy.pp.af")]),(Tool("sdf2sig"),[("0.9.2","/usr/lib/xt-strategoxt/sdf2sig"),("0.9.2","/usr/bin/sdf2sig")]),(Tool("rsdf2sdf"),[("0.9.2","/usr/lib/xt-strategoxt/rsdf2sdf"),("0.9.2","/usr/bin/rsdf2sdf")]),(Tool("stratego.tbl"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/stratego.tbl")]),(Tool("stratego.pp"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/stratego.pp")]),(Tool("Stratego-Overlays.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Overlays.str")]),(Tool("Stratego-Specifications.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Specifications.str")]),(Tool("Stratego-Syntax.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Syntax.str")]),(Tool("Stratego-Lexicals.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Lexicals.str")]),(Tool("Stratego-Rules.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Rules.str")]),(Tool("stratego-tools"),[("0.9.2","/usr/stratego-tools")]),(Tool("sdf2sdf"),[("0.9.2","/usr/lib/xt-strategoxt/sdf2sdf"),("0.9.2","/usr/bin/sdf2sdf")]),(Tool("sdf-wf"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-wf"),("0.9.2","/usr/bin/sdf-wf")]),(Tool("sdf2sg"),[("0.9.2","/usr/lib/xt-strategoxt/sdf2sg"),("0.9.2","/usr/bin/sdf2sg")]),(Tool("sdf-de-normalize.str"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/sdf-de-normalize.str")]),(Tool("sdf-de-normalize"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-de-normalize"),("0.9.2","/usr/bin/sdf-de-normalize")]),(Tool("de-norm-lit"),[("0.9.2","/usr/lib/xt-strategoxt/de-norm-lit"),("0.9.2","/usr/bin/de-norm-lit")]),(Tool("sdf-bracket"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-bracket"),("0.9.2","/usr/bin/sdf-bracket")]),(Tool("sdf-rmlabel"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-rmlabel"),("0.9.2","/usr/bin/sdf-rmlabel")]),(Tool("sdf-cons"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-cons"),("0.9.2","/usr/bin/sdf-cons")]),(Tool("unpack-sdf"),[("0.9.2","/usr/bin/unpack-sdf")]),(Tool("pack-sdf"),[("0.9.2","/usr/lib/xt-strategoxt/pack-sdf"),("0.9.2","/usr/bin/pack-sdf")]),(Tool("sglr-stats.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/sglr-stats.tbl")]),(Tool("sdf-bench"),[("0.9.2","/usr/bin/sdf-bench")]),(Tool("sdf.cons.pp.af"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/sdf.cons.pp.af")]),(Tool("sdf.cons.pp"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/sdf.cons.pp")]),(Tool("fdl2sdf"),[("0.9.2","/usr/bin/fdl2sdf")]),(Tool("sglr.str"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/sglr.str")]),(Tool("sdf-tools"),[("0.9.2","/usr/sdf-tools")]),(Tool("pp-sdf"),[("0.9.2","/usr/bin/pp-sdf")]),(Tool("parse-sdf-module"),[("0.9.2","/usr/bin/parse-sdf-module")]),(Tool("sdf-ensugar"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-ensugar")]),(Tool("Sdf2.pp.af"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Sdf2.pp.af")]),(Tool("Sdf-Disamb.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Sdf-Disamb.rtree")]),(Tool("Symbols.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Symbols.sdf")]),(Tool("Sorts-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Sorts-Sdf-Syntax.sdf")]),(Tool("Sdf-Disamb.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Sdf-Disamb.sdf")]),(Tool("Renaming-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Renaming-Sdf-Syntax.sdf")]),(Tool("RealCon.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/RealCon.sdf")]),(Tool("Modular-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Modular-Sdf-Syntax.sdf")]),(Tool("Literals-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Literals-Sdf-Syntax.sdf")]),(Tool("Label-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Label-Sdf-Syntax.sdf")]),(Tool("IntCon.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/IntCon.sdf")]),(Tool("Character-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Character-Syntax.sdf")]),(Tool("CC-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/CC-Sdf-Syntax.sdf")]),(Tool("Alias-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Alias-Sdf-Syntax.sdf")]),(Tool("Stratego-Sdf2.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Stratego-Sdf2.tbl")]),(Tool("Sdf2-Syntax.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Sdf2-Syntax.tbl")]),(Tool("sdf-front"),[("0.9.2","/usr/sdf-front")]),(Tool("graph-term2GraphXML"),[("0.9.2","/usr/lib/xt-strategoxt/graph-term2GraphXML"),("0.9.2","/usr/bin/graph-term2GraphXML")]),(Tool("GraphXML-analysis"),[("0.9.2","/usr/lib/xt-strategoxt/GraphXML-analysis"),("0.9.2","/usr/bin/GraphXML-analysis")]),(Tool("Dot.pp.af"),[("0.9.2","/usr/share/StrategoXT/dot-tools/Dot.pp.af")]),(Tool("StrategoDot.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/StrategoDot.sdf")]),(Tool("Main.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/Main.sdf")]),(Tool("Dot.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/Dot.sdf")]),(Tool("StrategoDot.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/StrategoDot.tbl")]),(Tool("Dot.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/Dot.tbl")]),(Tool("pp-aterm"),[("0.9.2","/usr/bin/pp-aterm")]),(Tool("ATerm-Literals.rtree"),[("0.9.2","/usr/share/StrategoXT/aterm-tools/ATerm-Literals.rtree")]),(Tool("ATerm.rtree"),[("0.9.2","/usr/share/StrategoXT/aterm-tools/ATerm.rtree")]),(Tool("ATerm.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/aterm-tools/ATerm.sdf")]),(Tool("ATerm-Layout.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/aterm-tools/ATerm-Layout.sdf")]),(Tool("ATerm.def"),[("0.9.2","/usr/share/StrategoXT/sdf/aterm-tools/ATerm.def")]),(Tool("annos-to-term"),[("0.9.2","/usr/bin/annos-to-term")]),(Tool("term-to-dot"),[("0.9.2","/usr/bin/term-to-dot")]),(Tool("treeviz"),[("0.9.2","/usr/lib/xt-strategoxt/treeviz"),("0.9.2","/usr/bin/treeviz")]),(Tool("term-size"),[("0.9.2","/usr/bin/term-size")]),(Tool("aterm-tools"),[("0.9.2","/usr/aterm-tools")]),(Tool("visamb.pp.af"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/visamb.pp.af")]),(Tool("visamb"),[("0.9.2","/usr/bin/visamb")]),(Tool("termid.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/termid.rtree")]),(Tool("Vis-amb.str"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Vis-amb.str")]),(Tool("nonterminal-tree"),[("0.9.2","/usr/lib/xt-strategoxt/nonterminal-tree")]),(Tool("implode-asfix.str"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/implode-asfix.str")]),(Tool("sglri"),[("0.9.2","/usr/lib/xt-strategoxt/sglri"),("0.9.2","/usr/bin/sglri")]),(Tool("verbalize-sdf.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/verbalize-sdf.rtree")]),(Tool("asfix1.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/asfix1.rtree")]),(Tool("asfix-tc.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/asfix-tc.rtree")]),(Tool("asfix-abstractions-test.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/asfix-abstractions-test.rtree")]),(Tool("Sorts-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Sorts-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Sorts-Sdf-Syntax.rtree")]),(Tool("Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Sdf-Syntax.rtree")]),(Tool("Sdf-ParseTree-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Sdf-ParseTree-Syntax.rtree")]),(Tool("Sdf-FlatLex-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Sdf-FlatLex-Syntax.rtree")]),(Tool("Restrictions-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Restrictions-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Restrictions-Sdf-Syntax.rtree")]),(Tool("Regular-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Regular-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Regular-Sdf-Syntax.rtree")]),(Tool("Priority-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Priority-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Priority-Sdf-Syntax.rtree")]),(Tool("Literals.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Literals.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Literals.rtree")]),(Tool("Literal-lib.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Literal-lib.rtree")]),(Tool("Label-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Label-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Label-Sdf-Syntax.rtree")]),(Tool("IntCon.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/IntCon.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/IntCon.rtree")]),(Tool("Character-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Character-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Character-Syntax.rtree")]),(Tool("Char-lib.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Char-lib.rtree")]),(Tool("Bracket-Symbol.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Bracket-Symbol.rtree")]),(Tool("AsFix2-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/AsFix2-Syntax.rtree")]),(Tool("ATerms.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/ATerms.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/ATerms.rtree")]),(Tool("pp-stratego"),[("0.9.2","/usr/bin/pp-stratego")]),(Tool("stratego-desugar"),[("0.9.2","/usr/bin/stratego-desugar")]),(Tool("Stratego-Strategies.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Strategies.rtree")]),(Tool("Stratego-Modules.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Modules.rtree")]),(Tool("Stratego-Layout.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Layout.rtree")]),(Tool("Stratego-Rules.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Rules.rtree")]),(Tool("Stratego-Overlays.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Overlays.rtree")]),(Tool("Stratego.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego.rtree")]),(Tool("Stratego-pretty.pp.af"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-pretty.pp.af")]),(Tool("Stratego-pretty.pp"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-pretty.pp")]),(Tool("stratego.mod.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/stratego.mod.sdf")]),(Tool("StrategoStratego.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/StrategoStratego.sdf")]),(Tool("Stratego.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego.sdf")]),(Tool("Stratego-Strategies.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Strategies.sdf")]),(Tool("Stratego-Script.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Script.sdf")]),(Tool("Stratego-Overlays.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Overlays.sdf")]),(Tool("Stratego-Layout.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Layout.sdf")]),(Tool("Stratego-Constants.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Constants.sdf")]),(Tool("Generated.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Generated.sdf")]),(Tool("StrategoStratego.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/StrategoStratego.tbl")]),(Tool("StrategoStratego.def"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/StrategoStratego.def")]),(Tool("stratego-front"),[("0.9.2","/usr/stratego-front")]),(Tool("parse-c"),[("0.9.2","/usr/bin/parse-c")]),(Tool("C-pretty.pp"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-pretty.pp")]),(Tool("C.pp"),[("0.9.2","/usr/share/StrategoXT/c-tools/C.pp")]),(Tool("C-Types.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Types.rtree")]),(Tool("C-Statements.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Statements.rtree")]),(Tool("C-Preprocessor.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Preprocessor.rtree")]),(Tool("C-Lexical.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Lexical.rtree")]),(Tool("C-Identifiers.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Identifiers.rtree")]),(Tool("C-Enumerators.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Enumerators.rtree")]),(Tool("C-Constants.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Constants.rtree")]),(Tool("C.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C.rtree")]),(Tool("Stratego-Stratego-C.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/Stratego-Stratego-C.sdf")]),(Tool("C.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C.sdf")]),(Tool("C-StructsAndUnions.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-StructsAndUnions.sdf")]),(Tool("C-Program.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Program.sdf")]),(Tool("C-ParameterDeclarators.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-ParameterDeclarators.sdf")]),(Tool("C-Keywords.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Keywords.sdf")]),(Tool("C-Expressions.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Expressions.sdf")]),(Tool("C-Declarators.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Declarators.sdf")]),(Tool("C-AbstractDeclarators.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-AbstractDeclarators.sdf")]),(Tool("Stratego-Stratego-C.def"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/Stratego-Stratego-C.def")]),(Tool("Stratego-C.def"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/Stratego-C.def")]),(Tool("C.def"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C.def")]),(Tool("tohtml"),[("2.10","/usr/lib/xt-strategoxt/tohtml")]),(Tool("gen-latex-boxstyle"),[("2.10","/usr/bin/gen-latex-boxstyle")]),(Tool("abox2latex"),[("2.10","/usr/bin/abox2latex")]),(Tool("abox2text"),[("2.10","/usr/bin/abox2text")]),(Tool("ast2abox"),[("2.10","/usr/bin/ast2abox")]),(Tool("ppgen"),[("2.10","/usr/bin/ppgen")]),(Tool("pp-pp-table"),[("2.10","/usr/bin/pp-pp-table")]),(Tool("parse-pp-table"),[("2.10","/usr/bin/parse-pp-table")]),(Tool("boxstyle.css"),[("2.10","/usr/share/StrategoXT/gpp/boxstyle.css")]),(Tool("Abox-2-latex"),[("2.10","/usr/lib/xt-strategoxt/Abox-2-latex")]),(Tool("Abox-2-text"),[("2.10","/usr/lib/xt-strategoxt/Abox-2-text")]),(Tool("sdf-2-pp-table"),[("2.10","/usr/lib/xt-strategoxt/sdf-2-pp-table")]),(Tool("Asfix-2-abox"),[("2.10","/usr/lib/xt-strategoxt/Asfix-2-abox")]),(Tool("Box.pp.af"),[("2.10","/usr/share/StrategoXT/gpp/Box.pp.af")]),(Tool("pp-table-IntCon.rtree"),[("2.10","/usr/share/StrategoXT/gpp/pp-table-IntCon.rtree")]),(Tool("Box-Literal.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box-Literal.rtree")]),(Tool("Box-Layout.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box-Layout.rtree")]),(Tool("Box-Base.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box-Base.rtree")]),(Tool("Box.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box.rtree")]),(Tool("pp-table-PlaceHolder.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/pp-table-PlaceHolder.sdf")]),(Tool("pp-table.def"),[("2.10","/usr/share/StrategoXT/sdf/gpp/pp-table.def")]),(Tool("Box.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box.sdf")]),(Tool("Box-Literal.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box-Literal.sdf")]),(Tool("Box-Layout.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box-Layout.sdf")]),(Tool("Box-Base.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box-Base.sdf")]),(Tool("Stratego-Box.tbl"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Stratego-Box.tbl")]),(Tool("Stratego-Box.def"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Stratego-Box.def")]),(Tool("gpp"),[("2.10","/usr/gpp")]),(Tool("verbose.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/verbose.rtree")]),(Tool("tuple.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/tuple.rtree")]),(Tool("time.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/time.rtree")]),(Tool("term-zip.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/term-zip.rtree")]),(Tool("term-io.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/term-io.rtree")]),(Tool("tables.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/tables.rtree")]),(Tool("substitution.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/substitution.rtree")]),(Tool("simple-traversal.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/simple-traversal.rtree")]),(Tool("share.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/share.rtree")]),(Tool("rename.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/rename.rtree")]),(Tool("reals.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/reals.rtree")]),(Tool("posix-signal.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/posix-signal.rtree")]),(Tool("posix-file.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/posix-file.rtree")]),(Tool("pipe-experiment.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/pipe-experiment.rtree")]),(Tool("parenthesize.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/parenthesize.rtree")]),(Tool("parallel.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/parallel.rtree")]),(Tool("pack-modules.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/pack-modules.rtree")]),(Tool("options.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/options.rtree")]),(Tool("migrate-tuples.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/migrate-tuples.rtree")]),(Tool("list.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list.rtree")]),(Tool("list-sort.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-sort.rtree")]),(Tool("list-misc.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-misc.rtree")]),(Tool("list-index.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-index.rtree")]),(Tool("list-cons.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-cons.rtree")]),(Tool("list-bag.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-bag.rtree")]),(Tool("keep.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/keep.rtree")]),(Tool("io.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/io.rtree")]),(Tool("int-list.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/int-list.rtree")]),(Tool("free-variables.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/free-variables.rtree")]),(Tool("file.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/file.rtree")]),(Tool("exec.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/exec.rtree")]),(Tool("env-list-traversal.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/env-list-traversal.rtree")]),(Tool("dir.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/dir.rtree")]),(Tool("cpl.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/cpl.rtree")]),(Tool("conditional.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/conditional.rtree")]),(Tool("char.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/char.rtree")]),(Tool("bin-tree.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/bin-tree.rtree")]),(Tool("apply.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/apply.rtree")]),(Tool("annotation-props.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/annotation-props.rtree")]),(Tool("LayoutPreserve.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/LayoutPreserve.rtree")]),(Tool("eval-lib-primitives.rtree"),[("0.9.2","/usr/share/StrategoXT/sc/eval-lib-primitives.rtree")]),(Tool("primitives"),[("0.9.2","/usr/lib/xt-strategoxt/primitives")]),(Tool("si"),[("0.9.2","/usr/bin/xt-si")]),(Tool("fusion"),[("0.9.2","/usr/lib/xt-strategoxt/fusion")]),(Tool("compile-match"),[("0.9.2","/usr/lib/xt-strategoxt/compile-match")]),(Tool("optimize1"),[("0.9.2","/usr/lib/xt-strategoxt/optimize1")]),(Tool("rename-vars"),[("0.9.2","/usr/lib/xt-strategoxt/rename-vars")]),(Tool("stratego-warnings"),[("0.9.2","/usr/lib/xt-strategoxt/stratego-warnings")]),(Tool("rename-defs"),[("0.9.2","/usr/lib/xt-strategoxt/rename-defs")]),(Tool("extract"),[("0.9.2","/usr/lib/xt-strategoxt/extract")]),(Tool("s2c"),[("0.9.2","/usr/lib/xt-strategoxt/s2c")]),(Tool("Stratego-Optimized-Format"),[("0.9.2","/usr/lib/xt-strategoxt/Stratego-Optimized-Format")]),(Tool("Stratego-Normal-Format"),[("0.9.2","/usr/lib/xt-strategoxt/Stratego-Normal-Format")]),(Tool("SRTS"),[("X","/usr/SRTS")]),(Tool("sdf2table"),[("1.5","/usr/bin/sdf2table")]),(Tool("xtc-proc.rtree"),[("0.9.2","/usr/share/StrategoXT/xtc/xtc-proc.rtree")]),(Tool("xtc-lib.rtree"),[("0.9.2","/usr/share/StrategoXT/xtc/xtc-lib.rtree")]),(Tool("xtc"),[("0.9.2","/usr/xtc"),("0.9.2","/usr/bin/xtc")]),(Imported("/usr/share/StrategoXT/XTC"),[]),(Tool("xtc-rep.rtree"),[("0.9.2","/usr/share/StrategoXT/xtc/xtc-rep.rtree")]),(Tool("xtc-register.rtree"),[("0.9.2","/usr/share/StrategoXT/xtc/xtc-register.rtree")]),(Tool("stratego-xt-xtc-tools.rtree"),[("0.9.2","/usr/share/StrategoXT/xtc/stratego-xt-xtc-tools.rtree")]),(Tool("sglr"),[("3.8","/usr/bin/sglr")]),(Tool("ATERM"),[("X","/usr/ATERM")]),(Tool("pack-stratego"),[("0.9.2","/usr/lib/xt-strategoxt/pack-stratego"),("0.9.2","/usr/bin/pack-stratego")]),(Tool("sc"),[("0.9.2","/usr/bin/xt-sc"),("0.9.2","/usr/sc")]),(Tool("Stratego-Canonical-Format"),[("0.9.2","/usr/lib/xt-strategoxt/Stratego-Canonical-Format")]),(Tool("canonicalize"),[("0.9.2","/usr/lib/xt-strategoxt/canonicalize")]),(Tool("frontend"),[("0.9.2","/usr/lib/xt-strategoxt/frontend")]),(Tool("extract-all"),[("0.9.2","/usr/lib/xt-strategoxt/extract-all")]),(Tool("inline"),[("0.9.2","/usr/lib/xt-strategoxt/inline")]),(Tool("optimize2"),[("0.9.2","/usr/lib/xt-strategoxt/optimize2")]),(Tool("stratego"),[("0.9.2","/usr/bin/stratego")]),(Tool("ssl"),[("0.9.2","/usr/ssl")]),(Tool("LList.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/LList.rtree")]),(Tool("SList.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/SList.rtree")]),(Tool("annotations.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/annotations.rtree")]),(Tool("bin-tree-set.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/bin-tree-set.rtree")]),(Tool("char-io.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/char-io.rtree")]),(Tool("collect.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/collect.rtree")]),(Tool("config.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/config.rtree")]),(Tool("date-format.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/date-format.rtree")]),(Tool("dynamic-rules.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/dynamic-rules.rtree")]),(Tool("env-traversal.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/env-traversal.rtree")]),(Tool("expect.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/expect.rtree")]),(Tool("fixpoint-traversal.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/fixpoint-traversal.rtree")]),(Tool("getopt.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/getopt.rtree")]),(Tool("integers.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/integers.rtree")]),(Tool("iteration.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/iteration.rtree")]),(Tool("lib.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/lib.rtree")]),(Tool("list-basic.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-basic.rtree")]),(Tool("list-filter.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-filter.rtree")]),(Tool("list-lookup.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-lookup.rtree")]),(Tool("list-set.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-set.rtree")]),(Tool("list-zip.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/list-zip.rtree")]),(Tool("memo.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/memo.rtree")]),(Tool("option.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/option.rtree")]),(Tool("pack-graph.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/pack-graph.rtree")]),(Tool("pack.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/pack.rtree")]),(Tool("parenthesize-test.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/parenthesize-test.rtree")]),(Tool("parse-options.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/parse-options.rtree")]),(Tool("pipe.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/pipe.rtree")]),(Tool("posix-process.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/posix-process.rtree")]),(Tool("process.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/process.rtree")]),(Tool("rename-dyn.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/rename-dyn.rtree")]),(Tool("scoped-finite-map.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/scoped-finite-map.rtree")]),(Tool("simple-list-traversal.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/simple-list-traversal.rtree")]),(Tool("string.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/string.rtree")]),(Tool("sunit.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/sunit.rtree")]),(Tool("template.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/template.rtree")]),(Tool("term-properties.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/term-properties.rtree")]),(Tool("term.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/term.rtree")]),(Tool("tuple-cons.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/tuple-cons.rtree")]),(Tool("unification.rtree"),[("0.9.2","/usr/share/StrategoXT/ssl/unification.rtree")]),(Tool("Box.def"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box.def")]),(Tool("Box.tbl"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box.tbl")]),(Tool("Box-Atoms.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box-Atoms.sdf")]),(Tool("Box-Disambiguation.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box-Disambiguation.sdf")]),(Tool("Box-Lists.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box-Lists.sdf")]),(Tool("Box-Operators.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Box-Operators.sdf")]),(Tool("Stratego-Box.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/Stratego-Box.sdf")]),(Tool("pp-table.tbl"),[("2.10","/usr/share/StrategoXT/sdf/gpp/pp-table.tbl")]),(Tool("pp-table-IntCon.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/pp-table-IntCon.sdf")]),(Tool("pp-table.sdf"),[("2.10","/usr/share/StrategoXT/sdf/gpp/pp-table.sdf")]),(Tool("abox-format"),[("2.10","/usr/lib/xt-strategoxt/abox-format")]),(Tool("abox-ext.rtree"),[("2.10","/usr/share/StrategoXT/gpp/abox-ext.rtree")]),(Tool("Box-Atoms.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box-Atoms.rtree")]),(Tool("Box-Disambiguation.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box-Disambiguation.rtree")]),(Tool("Box-Lists.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box-Lists.rtree")]),(Tool("Box-Operators.rtree"),[("2.10","/usr/share/StrategoXT/gpp/Box-Operators.rtree")]),(Tool("pp-table.rtree"),[("2.10","/usr/share/StrategoXT/gpp/pp-table.rtree")]),(Tool("pp-table-PlaceHolder.rtree"),[("2.10","/usr/share/StrategoXT/gpp/pp-table-PlaceHolder.rtree")]),(Tool("pp-table.pp.af"),[("2.10","/usr/share/StrategoXT/gpp/pp-table.pp.af")]),(Tool("Ast-2-abox"),[("2.10","/usr/lib/xt-strategoxt/Ast-2-abox")]),(Tool("Abox-2-html"),[("2.10","/usr/lib/xt-strategoxt/Abox-2-html")]),(Tool("parse-box"),[("2.10","/usr/bin/parse-box")]),(Tool("pp-box"),[("2.10","/usr/bin/pp-box")]),(Tool("ast2text"),[("2.10","/usr/bin/ast2text")]),(Tool("asfix2abox"),[("2.10","/usr/bin/asfix2abox")]),(Tool("abox2html"),[("2.10","/usr/bin/abox2html")]),(Tool("gen-css-boxstyle"),[("2.10","/usr/bin/gen-css-boxstyle")]),(Tool("ismap2usemap"),[("2.10","/usr/lib/xt-strategoxt/ismap2usemap")]),(Tool("tohtml.css"),[("2.10","/usr/share/StrategoXT/gpp/tohtml.css")]),(Tool("c-tools"),[("0.9.2","/usr/c-tools")]),(Tool("C.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C.tbl")]),(Tool("Stratego-C.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/Stratego-C.tbl")]),(Tool("Stratego-Stratego-C.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/Stratego-Stratego-C.tbl")]),(Tool("C-Constants.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Constants.sdf")]),(Tool("C-Enumerators.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Enumerators.sdf")]),(Tool("C-Identifiers.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Identifiers.sdf")]),(Tool("C-Lexical.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Lexical.sdf")]),(Tool("C-Preprocessor.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Preprocessor.sdf")]),(Tool("C-Statements.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Statements.sdf")]),(Tool("C-Types.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/C-Types.sdf")]),(Tool("Stratego-C.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/c-tools/Stratego-C.sdf")]),(Tool("C-AbstractDeclarators.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-AbstractDeclarators.rtree")]),(Tool("C-Declarators.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Declarators.rtree")]),(Tool("C-Expressions.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Expressions.rtree")]),(Tool("C-Keywords.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Keywords.rtree")]),(Tool("C-ParameterDeclarators.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-ParameterDeclarators.rtree")]),(Tool("C-Program.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-Program.rtree")]),(Tool("C-StructsAndUnions.rtree"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-StructsAndUnions.rtree")]),(Tool("C.pp.af"),[("0.9.2","/usr/share/StrategoXT/c-tools/C.pp.af")]),(Tool("C-pretty.pp.af"),[("0.9.2","/usr/share/StrategoXT/c-tools/C-pretty.pp.af")]),(Tool("pp-c"),[("0.9.2","/usr/bin/pp-c")]),(Tool("Stratego.def"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego.def")]),(Tool("Stratego.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego.tbl")]),(Tool("GB-Main.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/GB-Main.sdf")]),(Tool("Lexical.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Lexical.sdf")]),(Tool("Stratego-Identifiers.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Identifiers.sdf")]),(Tool("Stratego-Modules.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Modules.sdf")]),(Tool("Stratego-Rules.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Rules.sdf")]),(Tool("Stratego-Signatures.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Signatures.sdf")]),(Tool("Stratego-Terms.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/Stratego-Terms.sdf")]),(Tool("StrategoRenamed.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/StrategoRenamed.sdf")]),(Tool("StrategoStrategoC.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/stratego-front/StrategoStrategoC.sdf")]),(Tool("astratego2text"),[("0.9.2","/usr/bin/astratego2text")]),(Tool("Stratego.pp"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego.pp")]),(Tool("Stratego.pp.af"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego.pp.af")]),(Tool("Stratego-Constants.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Constants.rtree")]),(Tool("Stratego-Identifiers.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Identifiers.rtree")]),(Tool("Stratego-Terms.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Terms.rtree")]),(Tool("Stratego-Script.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Script.rtree")]),(Tool("Stratego-Signatures.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-front/Stratego-Signatures.rtree")]),(Tool("meta-explode"),[("0.9.2","/usr/bin/meta-explode")]),(Tool("parse-stratego"),[("0.9.2","/usr/bin/parse-stratego")]),(Tool("stratego-ensugar"),[("0.9.2","/usr/bin/stratego-ensugar")]),(Tool("asfix-tools"),[("0.9.2","/usr/asfix-tools")]),(Tool("Alias-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Alias-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Alias-Sdf-Syntax.rtree")]),(Tool("Basic-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Basic-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Basic-Sdf-Syntax.rtree")]),(Tool("CC-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/CC-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/CC-Sdf-Syntax.rtree")]),(Tool("Character-Class-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Character-Class-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Character-Class-Syntax.rtree")]),(Tool("Grammar-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Grammar-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Grammar-Syntax.rtree")]),(Tool("Kernel-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Kernel-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Kernel-Sdf-Syntax.rtree")]),(Tool("Layout.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Layout.rtree"),("0.9.2","/usr/share/StrategoXT/dot-tools/Layout.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Layout.rtree")]),(Tool("Literals-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Literals-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Literals-Sdf-Syntax.rtree")]),(Tool("Modular-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Modular-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Modular-Sdf-Syntax.rtree")]),(Tool("RealCon.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/RealCon.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/RealCon.rtree")]),(Tool("Renaming-Sdf-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Renaming-Sdf-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Renaming-Sdf-Syntax.rtree")]),(Tool("Sdf-Disambiguation.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Sdf-Disambiguation.rtree")]),(Tool("Sdf-NormLit-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Sdf-NormLit-Syntax.rtree")]),(Tool("Sdf-Restrictions.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/Sdf-Restrictions.rtree")]),(Tool("Sdf2-Syntax.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Sdf2-Syntax.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Sdf2-Syntax.rtree")]),(Tool("Symbols.rtree"),[("0.9.2","/usr/share/StrategoXT/sdf-front/Symbols.rtree"),("0.9.2","/usr/share/StrategoXT/asfix-tools/Symbols.rtree")]),(Tool("asfix-abstractions.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/asfix-abstractions.rtree")]),(Tool("asfix.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/asfix.rtree")]),(Tool("prodcons.rtree"),[("0.9.2","/usr/share/StrategoXT/asfix-tools/prodcons.rtree")]),(Tool("implode-asfix"),[("0.9.2","/usr/lib/xt-strategoxt/implode-asfix"),("0.9.2","/usr/bin/implode-asfix")]),(Tool("asfix-yield"),[("0.9.2","/usr/bin/asfix-yield")]),(Tool("Vis-amb"),[("0.9.2","/usr/lib/xt-strategoxt/Vis-amb")]),(Tool("explode-asfix2me"),[("0.9.2","/usr/bin/explode-asfix2me")]),(Tool("atermdiff"),[("0.9.2","/usr/bin/atermdiff")]),(Tool("term-to-adot"),[("0.9.2","/usr/lib/xt-strategoxt/term-to-adot"),("0.9.2","/usr/bin/term-to-adot")]),(Tool("ATerm.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf/aterm-tools/ATerm.tbl")]),(Tool("ATerm-Literals.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/aterm-tools/ATerm-Literals.sdf")]),(Tool("ATerm-Layout.rtree"),[("0.9.2","/usr/share/StrategoXT/aterm-tools/ATerm-Layout.rtree")]),(Tool("PpTerm"),[("0.9.2","/usr/lib/xt-strategoxt/PpTerm")]),(Tool("dot-tools"),[("0.9.2","/usr/dot-tools")]),(Tool("Dot.def"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/Dot.def")]),(Tool("StrategoDot.def"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/StrategoDot.def")]),(Tool("Layout.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Layout.sdf"),("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/Layout.sdf")]),(Tool("QuotedLiterals.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/dot-tools/QuotedLiterals.sdf")]),(Tool("Dot-pretty.pp.af"),[("0.9.2","/usr/share/StrategoXT/dot-tools/Dot-pretty.pp.af")]),(Tool("Dot.rtree"),[("0.9.2","/usr/share/StrategoXT/dot-tools/Dot.rtree")]),(Tool("QuotedLiterals.rtree"),[("0.9.2","/usr/share/StrategoXT/dot-tools/QuotedLiterals.rtree")]),(Tool("graph-tools"),[("0.9.2","/usr/graph-tools")]),(Tool("GraphXML.rtree"),[("0.9.2","/usr/share/StrategoXT/graph-tools/GraphXML.rtree")]),(Tool("graph-terms.rtree"),[("0.9.2","/usr/share/StrategoXT/graph-tools/graph-terms.rtree")]),(Tool("GraphXML2dot"),[("0.9.2","/usr/lib/xt-strategoxt/GraphXML2dot"),("0.9.2","/usr/bin/GraphXML2dot")]),(Tool("Sdf2-Syntax.def"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Sdf2-Syntax.def")]),(Tool("Stratego-Sdf2.def"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Stratego-Sdf2.def")]),(Tool("ATerms.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/ATerms.sdf")]),(Tool("Basic-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Basic-Sdf-Syntax.sdf")]),(Tool("Character-Class-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Character-Class-Syntax.sdf")]),(Tool("Grammar-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Grammar-Syntax.sdf")]),(Tool("Kernel-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Kernel-Sdf-Syntax.sdf")]),(Tool("Literals.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Literals.sdf")]),(Tool("Priority-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Priority-Sdf-Syntax.sdf")]),(Tool("Regular-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Regular-Sdf-Syntax.sdf")]),(Tool("Restrictions-Sdf-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Restrictions-Sdf-Syntax.sdf")]),(Tool("Sdf2-Syntax.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Sdf2-Syntax.sdf")]),(Tool("Stratego-Sdf2.sdf"),[("0.9.2","/usr/share/StrategoXT/sdf/sdf-front/Stratego-Sdf2.sdf")]),(Tool("sdf-desugar"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-desugar")]),(Tool("parse-sdf-definition"),[("0.9.2","/usr/bin/parse-sdf-definition")]),(Tool("sdf2text"),[("0.9.2","/usr/bin/sdf2text")]),(Tool("text.str"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/text.str")]),(Tool("sdf.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/sdf.tbl")]),(Tool("sdf.cons.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/sdf.cons.tbl")]),(Tool("sdf2asdf"),[("0.9.2","/usr/lib/xt-strategoxt/sdf2asdf"),("0.9.2","/usr/bin/sdf2asdf")]),(Tool("benchmark.tbl"),[("0.9.2","/usr/share/StrategoXT/sdf-tools/benchmark.tbl")]),(Tool("unpack"),[("0.9.2","/usr/bin/unpack")]),(Tool("rm-cons"),[("0.9.2","/usr/lib/xt-strategoxt/rm-cons"),("0.9.2","/usr/bin/rm-cons")]),(Tool("sdf-label"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-label"),("0.9.2","/usr/bin/sdf-label")]),(Tool("norm-lit"),[("0.9.2","/usr/lib/xt-strategoxt/norm-lit"),("0.9.2","/usr/bin/norm-lit")]),(Tool("sdf-normalize"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-normalize"),("0.9.2","/usr/bin/sdf-normalize")]),(Tool("unfold-literal"),[("0.9.2","/usr/lib/xt-strategoxt/unfold-literal"),("0.9.2","/usr/bin/unfold-literal")]),(Tool("sdf-doc"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-doc"),("0.9.2","/usr/bin/sdf-doc")]),(Tool("tohtml-sdf"),[("0.9.2","/usr/bin/tohtml-sdf")]),(Tool("sdf-imports"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-imports"),("0.9.2","/usr/bin/sdf-imports")]),(Tool("sdf-regularize"),[("0.9.2","/usr/lib/xt-strategoxt/sdf-regularize"),("0.9.2","/usr/bin/sdf-regularize")]),(Tool("parse-unit"),[("0.9.2","/usr/bin/parse-unit")]),(Tool("Stratego-Layout.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Layout.str")]),(Tool("Stratego-Sugar.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Sugar.str")]),(Tool("Stratego-Signatures.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Signatures.str")]),(Tool("Stratego-Modules.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Modules.str")]),(Tool("Stratego-Terms.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Terms.str")]),(Tool("Stratego-Strategies.str"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/Stratego-Strategies.str")]),(Tool("stratego.pp.af"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/stratego.pp.af")]),(Tool("sdf2stratego"),[("0.9.2","/usr/lib/xt-strategoxt/sdf2stratego"),("0.9.2","/usr/bin/sdf2stratego")]),(Tool("sdf-to-sig"),[("0.9.2","/usr/bin/sdf-to-sig")]),(Tool("dummy.pp"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/dummy.pp")]),(Tool("stratego-imports"),[("0.9.2","/usr/bin/stratego-imports")]),(Tool("strip-comments"),[("0.9.2","/usr/lib/xt-strategoxt/strip-comments"),("0.9.2","/usr/bin/strip-comments")]),(Tool("add-main"),[("0.9.2","/usr/lib/xt-strategoxt/add-main"),("0.9.2","/usr/bin/add-main")]),(Tool("sig2typematch"),[("0.9.2","/usr/bin/sig2typematch")]),(Tool("astratego2tg"),[("0.9.2","/usr/lib/xt-strategoxt/astratego2tg")]),(Tool("tg2typematch"),[("0.9.2","/usr/lib/xt-strategoxt/tg2typematch")]),(Tool("fc-tree-grammar"),[("0.9.2","/usr/lib/xt-strategoxt/fc-tree-grammar")]),(Tool("tree-grammar.rtree"),[("0.9.2","/usr/share/StrategoXT/stratego-tools/tree-grammar.rtree")]),(Tool("boxenv.sty"),[("0.9.2","/usr/share/StrategoXT/boxenv/boxenv.sty")]),(Repository,["/usr/share/StrategoXT/XTC"])]
