[ocaml-platform] opam update problem

[Francois Berenger]

On 07/23/2015 09:29 AM, Thomas Gazagnaire wrote:
>> 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.

Sometimes uninstalling curl and installing wget is a workaround for such 
problems.

However, I am not sure if opam supports wget.

> 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
>>
>
> _______________________________________________
> Platform mailing list
> Platform at lists.ocaml.org
> http://lists.ocaml.org/listinfo/platform
>

-- 
Regards,
Francois.
"When in doubt, use more types"