Name: developer/hets/twelf
        Summary: Logical framework and programming language Twelf
      Publisher: lnf
        Version: 1.7.1
  Build Release: 5.11
         Branch: 1.3.2.4
 Packaging Date: November 26, 2015 08:33:37 PM 
           Size: 9.82 MB
Compressed Size: 2.33 MB
           FMRI: pkg://lnf/developer/hets/twelf@1.7.1,5.11-1.3.2.4:20151126T203337Z

License:

Copyright (c) 2011, Frank Pfenning, Carsten Schuermann, and others
All rights reserved.