Name: developer/hets/eprover
        Summary: Theorem Prover E
      Publisher: lnf
        Version: 2.0
  Build Release: 5.11
         Branch: 1.3.22.3
 Packaging Date: September  1, 2017 07:13:44 PM 
           Size: 34.34 MB
Compressed Size: 9.85 MB
           FMRI: pkg://lnf/developer/hets/eprover@2.0,5.11-1.3.22.3:20170901T191344Z

License: