
					<packages>
						<package name="DeclareChecker" version="6.9.85" os="all" url="DeclareChecker/DeclareChecker-6.9.85-all.zip" desc="Declare Checker" org="Eindhoven University of Technology" license="GPL" author="Massimiliano de Leoni, Fabrizio Maggi and M.H.M. Schouten" 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="DataAwareReplayerLGPL" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="DataPetriNetsLGPL" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="DeclareMiner" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="DeclareMinerVisualizer" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="DeclareVisualizer" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="Log" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="LTL2Automaton" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="PetriNets" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="PNetReplayer" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="Widgets" rev="latest" changing="true" transitive="true" />

						</package>
					</packages>
				