В моей системе ArchLinux x86_64 я установил пакет opam-git, который работал в последний раз, когда я его использовал.команда opam update fail
Следующая команда opam update
безуспешной с сообщением:
opam update
=-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] curl: code 404 while downloading https://opam.ocaml.org/1.3/urls.txt
[ERROR] Could not update repository default
В этой связи https://github.com/ocaml/opam-repository/issues/6231 они говорят:
это 2.0.dev Теперь
Что я должен сделать, чтобы решить мою проблему?
Повторить попытку, когда патч будет объединен? –
Серьезно? Я не могу устанавливать какие-либо пакеты или делать какие-либо обновления. – cedlemo
Это версия git devel opam, я понял это правильно? Текущий выпуск - 1,2. Ваш 1.3 изменился, поэтому вытащите новую ревизию и перестройте opam. Или Арк должен это сделать? –