Hi, hhvm has been removed from sid on Thu, 20 Dec 2018. I suppose this means that the bug can be closed? -Ralf.