[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