At the top of the 'manage installed tools' page there is a filter that hides uninstalled and deactivated tools. Click 'advanced search' and then 'Deactivated or uninstalled'. Do you see your tool deactivated there?
M.
On 10/19/2016 03:36 PM, Martin Čech wrote:
> Hi Pierre,
>
> It seems that instead of uninstalling you de-activated the repository.
> I would uninstall the repository again.
admin > manage installed tools > there is no tool installed.
Search toolshed > select > >> preview and install > "Install to Galaxy"
> all unchecked / empty ; submit > ERROR
Pierre