
					<packages>
						<package name="Petra" version="6.9.127" os="all" url="Petra/Petra-6.9.127-all.zip" desc="Petra" org="Eindhoven University of Technology" license="GPL" author="Dennis Schunselaar" 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="CPNet" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="EMF" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="GPLv2Utils" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="LPEngine" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="ProcessTree" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="Properties" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="Widgets" rev="latest" changing="true" transitive="true" />

						</package>
					</packages>
				