[ocaml-platform] opam update problem
Thomas Gazagnaire
thomas at gazagnaire.org
Thu Jul 23 08:29:46 BST 2015
> I can if it doesn't have the '.' at the end of the URI.
This is just pretty-printing.
Try with -vv to see what command opam actually uses. It might be an issue with your version of curl. And maybe move the discussion to the issue tracker on GitHub[1] where it would be tracked more easily.
Best,
Thomas
[1]: https://github.com/ocaml/opam/issues
>
>> On Jul 22, 2015, at 3:19 PM, Thomas Gazagnaire <thomas at gazagnaire.org> wrote:
>>
>>> I'm unable to run 'opam update' -- I get an error message "Could not update repository default". Running it with debug flag:
>>>
>>> $ opam update --debug
>>> ...
>>> Processing 1/1: [default: http]
>>> 00:00.397 PARALLEL Collected task for job 0 (ret:256)
>>> 00:00.397 SYSTEM rmdir /var/folders/6p/sf2lk3297kb9sl_tpq6tckcw0000gn/T/opam-90980-dd682e
>>> 00:00.403 SYSTEM Could not download file at https://opam.ocaml.org/urls.txt.
>>> [ERROR] Could not update repository default
>>> ...
>>>
>>> The period at the end of the URL is suspicious but I have no idea why it is there or if that is the problem. Any ideas?
>>
>> Can you access that url using curl or wget?
>>
>> Thomas
>
More information about the Platform
mailing list