Name: developer/hets/hets-provers
        Summary: Heterogeneous Tool Set - provers
      Publisher: lnf
        Version: 1.0
  Build Release: 5.11
         Branch: 1.3.10.5
 Packaging Date: July 31, 2016 12:56:36 AM 
           Size: 0.00 B
Compressed Size: 0.00 B
           FMRI: pkg://lnf/developer/hets/hets-provers@1.0,5.11-1.3.10.5:20160731T005636Z

License: