Hi all! Just a little nudge here again! Ubuntu 16.04 (which is a Long Term Support release) has a Debian Import Freeze on the February 18th, and for Virtuoso 7.2 to make it in, it should have an update in Debian well before that. I'm neither an Ubuntu or Virtuoso user, but I think it is important for both that it goes in there. :-) Cheers, Kjetil