Currently when I try to display manifest version with the installation manager CLI tool, I don't get it:

$ bin/jboss-eap-installation-manager.sh channel versions
Installed server components:
  * Manifest for EAP 8.0

The string "Manifest for EAP 8.0" comes from the name field of the latest released manifest (https://maven.repository.redhat.com/ga/org/jboss/eap/channels/eap-8.0/1.1.0.GA-redhat-00001/eap-8.0-1.1.0.GA-redhat-00001-manifest.yaml).

So either the manifest name field should contain a more specific version string, or prospero should be modified to show something else.