Name: developer/hets/darwin
        Summary: Theorem Prover Darwin
      Publisher: lnf
        Version: 1.4.5
  Build Release: 5.11
         Branch: 1.2.13.6
 Packaging Date: October  8, 2015 06:00:41 PM 
           Size: 2.01 MB
Compressed Size: 771.91 kB
           FMRI: pkg://lnf/developer/hets/darwin@1.4.5,5.11-1.2.13.6:20151008T180041Z

License: