new machine

Hi all:

This Thursday 14th of November 2019 18:30 UTC we plan to change the DNS to point to a new machine.

The new repository use the same key so the change should be transparent for all users if everything goes without issues. It will take some time for the DNS servers to propagate the change but the old and the new repository should contain the same set of packages.

  • Old machine IP:
  • New machine IP: (permanent IP)

What to do if something goes wrong?

If something bad happens and you need to use the repository, a possible workaround would be to use the current machine IP instead of the directly in your /etc/apt/sources.list.d/ files:

i.e: ubuntu-stable on bionic
deb bionic main
deb bionic main

Removed content:

During the transition to the new machine some artifacts from old projects were not ported from the current machine:

  • Haptix project repository and zips
  • Mentor2 project repository
  • Experimental drake-ros repository
  • Win32 deps directory
    • Now in

If someone needs any of them please contact with me.

The transition to the new server is complete. The final IP of is The old server will still be online with an updated repository for some weeks at

Any problem please let us know.

Since the new packages server has been working fine for months, it is my intention to remove the DNS entry and remove the old server at the end of this month of July. Please speak up if for any reason you need it.