Name: developer/hets/leo2
        Summary: Theorem Prover Leo-II
      Publisher: lnf
        Version: 1.7.0.1
  Build Release: 5.11
         Branch: 1.3.2.4
 Packaging Date: December  6, 2015 05:43:08 PM 
           Size: 2.40 MB
Compressed Size: 792.64 kB
           FMRI: pkg://lnf/developer/hets/leo2@1.7.0.1,5.11-1.3.2.4:20151206T174308Z

License: