Thank you, that worked. Not sure why search didn't get it.

On the other hand, when installing from microB, the deb package is not copied to /var/cache/apt/archives

It would be nice to have a source for the deb.