Name: developer/hets/hol-light
        Summary: Theorem Prover HOL Light
      Publisher: lnf
        Version: 2.20.20151025
  Build Release: 5.11
         Branch: 1.3.1.5
 Packaging Date: December 10, 2015 04:42:11 AM 
           Size: 28.77 MB
Compressed Size: 5.69 MB
           FMRI: pkg://lnf/developer/hets/hol-light@2.20.20151025,5.11-1.3.1.5:20151210T044211Z

License:

Copyright (c) 2013, Christoph Benzmueller 
All rights reserved.