Name: developer/hets/kodkodi
        Summary: Relational logic solver Kodkod
      Publisher: lnf
        Version: 1.5.2
  Build Release: 5.11
         Branch: 1.3.2.4
 Packaging Date: December 14, 2015 04:41:01 AM 
           Size: 432.20 kB
Compressed Size: 395.87 kB
           FMRI: pkg://lnf/developer/hets/kodkodi@1.5.2,5.11-1.3.2.4:20151214T044101Z

License:

Copyright (c) 2008-2011,
  University of Cambridge and Technische Universitaet Muenchen.
  All rights reserved.