Hi, could hhvm be uploaded to apt.wikimedia.org stretch dist please?
currently fails on stretch hosts
root@jenkins-slave-01:/home/paladox# apt-get install hhvm
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package hhvm is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package 'hhvm' has no installation candidate