I'm trying to install the pre-compiled binaries onto a new Ubuntu machine.
However, when I try to apt-get install ros-boxturtle-base, it tells me that
it can't find that package.
The only packages with the prefix ros- are ros-cturtle-*. Is there still a
way to install the stable boxturtle?

Thanks,
David!!