request timed out.
Try to specify a more precise request, use a different solver, or
increase the allowed time by setting OPAMSOLVERTIMEOUT to a bigger
value (currently, it is set to 60.0 seconds).
интернет у меня работает нормально, почему opam внезапно перестал работать?
Тут явно что-то пошло не по сценарию, обычно это не больше секунды, ну может две. Если этот конечно не старая версия опама. Но вообще я бы советовал подключить роллинг релиз из этого репозитория git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing
Обсуждают сегодня