Name: developer/hets/spass
        Summary: Theorem Prover SPASS
      Publisher: lnf
        Version: 3.7
  Build Release: 5.11
         Branch: 1.2.15.4
 Packaging Date: October 27, 2015 03:13:47 AM 
           Size: 46.44 MB
Compressed Size: 11.47 MB
           FMRI: pkg://lnf/developer/hets/spass@3.7,5.11-1.2.15.4:20151027T031347Z

License:
Copyright 1996-2010 Max Planck Institute for Informatics. All rights reserved.