Auf meinem System, ArchLinux x86_64, habe ich das Paket opam-git installiert, das bei der letzten Verwendung funktionierte.Befehl opam update fail
Der folgende Befehl opam update
nicht mit dieser Nachricht:
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
In diesem Link https://github.com/ocaml/opam-repository/issues/6231 sie sagen:
es 2.0.dev jetzt
ist Was soll ich tun, um mein Problem lösen?
Erneut versuchen, wenn der Patch zusammengeführt wird? –
Ernsthaft? Ich kann keine Pakete installieren oder Aktualisierungen vornehmen. – cedlemo
Dies ist eine git devel Version von opam, habe ich das richtig verstanden? Aktuelle Version ist 1.2. Ihr 1.3 hat sich geändert, also ziehen Sie die neue Revision und bauen Sie OPAM neu auf. Oder wird Arch es tun müssen? –