Thu, 28 Mar 2024 21:48:47 CET | login

Error

An error has occurred in the web interface code. This could be due to a bug or a configuration issue.
GenericError: no file /usr/lib64/opamroot/default/.opam-switch/switch-config in RPM 12567
Full tracebacks disabled