There seems to have been a problem with a virtual machine. The sites work for me now. Thanks a lot for alerting us (and to the Eiffel Software engineer who fixed the problem right away).
-- BM
From: eiffel...@googlegroups.com <eiffel...@googlegroups.com> On Behalf Of João M. Rocha
Sent: Saturday, 24 January, 2026 17:22
To: eiffel...@googlegroups.com
Subject: [eiffel-users] Websites are down: eiffel.org and eiffel.com
Hi,
Just a few moments ago:
This may already be known or being handled, but I thought it would be best to flag it just in case.
João
--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/93ECEAAD-87F2-4904-BB2E-56D38E41A350%40gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/241901dc8d51%246c457170%2444d05450%24%40inf.ethz.ch.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/241901dc8d51%246c457170%2444d05450%24%40inf.ethz.ch.