@sonnyyu FYI I see you're using the wget trick for packages with "+" in the name: it has been fixed since version 1.2