Name: developer/hets/satallax
        Summary: Theorem Prover Satallax
      Publisher: lnf
        Version: 2.7
  Build Release: 5.11
         Branch: 1.3.2.4
 Packaging Date: December  5, 2015 08:32:36 PM 
           Size: 3.19 MB
Compressed Size: 1.09 MB
           FMRI: pkg://lnf/developer/hets/satallax@2.7,5.11-1.3.2.4:20151205T203236Z

License:

Copyright (c) 2010-2011, Chad E. Brown