
					<packages>
						<package name="Janus" version="6.10.17" os="all" url="http://www.promtools.org/prom6/packages615/Janus/Janus-6.10.17-all.zip" desc="Janus declarative miner and model checker" org="WU Vienna University of Economics and Business" license="MIT" author="Alessio Cecconi" auto="false" hasPlugins="true" logo="http://www.promtools.org/prom6/packages615/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="DeclareMiner" rev="latest" changing="true" transitive="true"/>

						</package>
					</packages>
				