It should show up if you search for the AMI ID, which is ami-da58aab3.
That said, the easiest way to launch a galaxy cloud cluster if you're not
already familiar with EC2 is probably using usegalaxy.org/cloudlaunch.
This interface will guide you through the launch process without any extra
input on your part other than providing your AWS keys.
The Galaxy User list should be used for the discussion of
Galaxy analysis and other features on the public server
at usegalaxy.org. Please keep all replies on the list by
using "reply all" in your mail client. For discussion of
local Galaxy instances and the Galaxy source code, please
use the Galaxy Development list:
To manage your subscriptions to this and other Galaxy lists,
please use the interface at:
To search Galaxy mailing lists use the unified search at: