
				<packages>
				<package name="SPECpp" version="6.14.7" os="all" url="SPECpp/SPECpp-6.14.7-all.zip" desc="SPECpp" org="RWTH Aachen" license="GPL" author="Leah Tacke Genannt Unterberg" 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="GraphViz" rev="latest" changing="true" transitive="true"/>
        <dependency org="prom" name="GraphVisualizers" rev="latest" changing="true" transitive="true"/>
        <dependency org="prom" name="PetriNets" rev="latest" changing="true" transitive="true"/>
        <dependency org="prom" name="ApacheUtils" rev="latest" changing="true" transitive="true"/>
        <dependency org="prom" name="Log" rev="latest" changing="true" transitive="true"/>
        <dependency org="prom" name="JAXB" rev="latest" changing="true" transitive="true"/>
        <dependency org="prom" name="ETConformance" rev="latest" changing="true" transitive="true"/>
        <dependency org="prom" name="StochasticAwareConformanceChecking" rev="latest" changing="true" transitive="true"/>

				</package>
				</packages>
			