Name: developer/hets/ekrhyper
        Summary: Theorem Prover and model generator E-KRHyper
      Publisher: lnf
        Version: 1.4.21022014
  Build Release: 5.11
         Branch: 1.2.13.6
 Packaging Date: October 11, 2015 09:52:30 PM 
           Size: 2.54 MB
Compressed Size: 860.17 kB
           FMRI: pkg://lnf/developer/hets/ekrhyper@1.4.21022014,5.11-1.2.13.6:20151011T215230Z

License: