<?xml version="1.0" encoding="UTF-8"?>
<feature
      id="org.lamport.tlatools.feature"
      label="TLA+ Tools Feature"
      version="1.0.0.201710061831"
      provider-name="Leslie Lamport, Markus Alexander Kuppe">

   <description>
      This feature defines the set of plug-ins that are required to run the OSGi-based TLCWorker.
   </description>

   <plugin
         id="org.lamport.tlatools.api"
         download-size="6"
         install-size="8"
         version="1.0.0.201710061831"/>

   <plugin
         id="org.lamport.tlatools"
         download-size="3384"
         install-size="8167"
         version="1.0.0.201710061831"
         unpack="false"/>

   <plugin
         id="org.lamport.tlatools.consumer.distributed"
         download-size="18"
         install-size="28"
         version="1.0.0.201710061831"
         unpack="false"/>

   <plugin
         id="org.lamport.tlatools.impl.distributed"
         download-size="10"
         install-size="13"
         version="1.0.0.201710061831"
         unpack="false"/>

</feature>
