169 похожих чатов

При скачивании пакета: $ opam install bap [ERROR] Sorry, resolution of the

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 внезапно перестал работать?

1 ответов

7 просмотров

Тут явно что-то пошло не по сценарию, обычно это не больше секунды, ну может две. Если этот конечно не старая версия опама. Но вообще я бы советовал подключить роллинг релиз из этого репозитория git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing

Похожие вопросы

Обсуждают сегодня

читать файл максимально быстро? странный вопрос))
zamtmn
52
всем привет! углубившись в плюсы и начав изучать реверсинг понял, что без асм'а никуда со своими высокоабстрактными представлениями начал изучать механизмы асма, и не совсем п...
9
буквально один оставшийся вопрос при выполнении строчки mov eax, 5 операнд "5" будет присутствовать где-либо в памяти (любой), кроме как в памяти блока .code? подвопрос: как...
12
Всем ку. Подскажите, если задекларировал массив так: int arr[10] = {1, 2, 3, 4}, то в arr[4] будет мусор или нуль?
Sasha K
14
я не понимаю mov [r11+8],rcx и прочие. мы записываем значение из rcx, куда?
Bor
15
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
у меня такой вопрос про память в x86 возник, может кто пояснить?.. у процессора есть (как минимум) 3 типа адресов (названия "п1", "п2", "п3" --- мои, чтобы проще было дальше)...
Toideng
5
А какие расширения активно используются в промышленности? Именно идейные, по типу гадт, а не всякие оверлоадедстрингс
Степан
11
у процессора есть (как минимум) 3 типа адресов (названия "п1", "п2", "п3" --- мои, чтобы проще было дальше): - "п1" --- виртуальный адрес, то есть тот, который ресолвится в "п...
Toideng
3
Guys Who’s kurdish on this group?
Hiwa Amiri
11
Карта сайта