
					<packages>
						<package name="EfficientSTMiner" version="6.11.11" os="all" url="EfficientSTMiner/EfficientSTMiner-6.11.11-all.zip" desc="Efficient State-space Traversal Miner" org="RWTH Aachen" license="GPL" author="Lisa Mannel" 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" />
    	<dependency org="prom" name="Widgets" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="ProM-Plugins" rev="latest" changing="true" transitive="true"/>
       <dependency org="prom" name="AcceptingPetriNet" rev="latest" changing="true" transitive="true"/>
       <dependency org="prom" name="Log" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="LogAbstractions" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="PetriNets" rev="latest" changing="true" transitive="true" />

						</package>
					</packages>
				