Various torproject services down
This ticket is possibly related to the issue: https://trac.torproject.org/projects/tor/ticket/25041.
Looking at when some people using the iranicum.torproject.org box went down, it seems like some services went down since ~04:40 UTC.
What's particularly worrying is that eugeni.torproject.org is also down, which is the host running the @torproject.org mail server.
With a quick and dirty shell script (and the data from https://db.torproject.org/machines.cgi), it seems like the affected machines are:
build-arm-01.torproject.org
build-arm-02.torproject.org
build-arm-03.torproject.org
carinatum.torproject.org
chamaemoly.torproject.org
chiwui.torproject.org
colchicifolium.torproject.org
eugeni.torproject.org
feddei.torproject.org
gayi.torproject.org
hedgei.torproject.org
henryi.torproject.org
hyalinum.torproject.org
iranicum.torproject.org
listera.torproject.org
materculae.torproject.org
perdulce.torproject.org
saxatile.torproject.org
staticiforme.torproject.org
textile.torproject.org
togashii.torproject.org
weissii.torproject.org
winklerianum.torproject.org
woronowii.torproject.org
Here the output of the script that includes the resolved address for the affected hosts: http://paste.debian.net/1007443/