+Mindstorm 0.5.4

On Wed, 12 Nov 2014 20:34:16 -0800, Peter Zotov wrote:
>
> There is no dependency on libusb-dev, though. Is the tag extraneous 
> ?

The USB is an optional dependency — with minimal testing (and only on 
 Linux).  So the "lib:usb" added by oasis2opam is right, just not the 
 recommended "connector".