
					<packages>
						<package name="LTL2Automaton" version="6.9.86" os="all" url="LTL2Automaton/LTL2Automaton-6.9.86-all.zip" desc="LTL2Automaton" org="University of Tartu" license="L-GPL" author="Fabrizio Maggi" auto="false" hasPlugins="true" logo="prom_subtitle_hat_300.png">
				       <dependency org="prom" name="ProM-Plugins" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="BasicUtils" rev="latest" changing="true" transitive="true" />

						</package>
					</packages>
				