Name: developer/hets/e-darwin
        Summary: Theorem Prover E-Darwin
      Publisher: lnf
        Version: 1.4.26092011
  Build Release: 5.11
         Branch: 1.2.13.6
 Packaging Date: October 11, 2015 04:54:56 PM 
           Size: 2.23 MB
Compressed Size: 759.86 kB
           FMRI: pkg://lnf/developer/hets/e-darwin@1.4.26092011,5.11-1.2.13.6:20151011T165456Z

License: