Name: developer/hets/maude
        Summary: Maude 2 interpreter
      Publisher: lnf
        Version: 2.7
  Build Release: 5.11
         Branch: 1.3.1.5
 Packaging Date: November  1, 2015 02:19:57 AM 
           Size: 5.69 MB
Compressed Size: 2.13 MB
           FMRI: pkg://lnf/developer/hets/maude@2.7,5.11-1.3.1.5:20151101T021957Z

License: