
					<packages>
						<package name="Sat4j" version="6.9.7" os="all" url="Sat4j/Sat4j-6.9.7-all.zip" desc="Sat4j" org="Eindhoven University of Technology" license="L-GPL" author="Sander Leemans" auto="false" hasPlugins="true" logo="prom_subtitle_hat_300.png">
				    	<dependency org="prom" name="ProM-Plugins" rev="latest" changing="true" transitive="true" />

						</package>
					</packages>
				