<?xml version="1.0" encoding="UTF-8"?>
<packages>
  <package author="P.J. van Heumen" auto="false" desc="Log Metrics" hasPlugins="true" license="LGPL" logo="http://www.promtools.org/prom6/packages65/prom_subtitle_hat_300.png" name="LogMetrics" org="Eindhoven University of Technology" os="all" url="http://www.promtools.org/prom6/packages65/LogMetrics/LogMetrics-6.5.16-all.zip" version="6.5.16">
    <dependency name="Log" />
    <dependency name="TransitionSystems" />
  </package>
</packages>
