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/