
					<packages>
						<package name="Specifact" version="6.9.45" os="all" url="Specifact/Specifact-6.9.45-all.zip" desc="Specifact" org="Universitat Politecnica de Catalunya" license="L-GPL" author="Jorge Munoz, Josep Carmona, and Montse Estanyol" 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="EfficientStorage" 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" />
       <dependency org="prom" name="PNAnalysis" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="PNetReplayer" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="SLog" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="TransitionSystems" rev="latest" changing="true" transitive="true" />
       <dependency org="prom" name="Widgets" rev="latest" changing="true" transitive="true" />

						</package>
					</packages>
				