On 05/22/2016 01:02 AM, Kakadu wrote:
> opam install eliom

Yes, already tried that; exactly the same result.

> 2016-05-21 19:49 GMT+03:00 Bahman Movaqar <Bahman@bahmanm.com>:
>> $ opam install eliom.dev
>>
>> =-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=-
>> [eliom] https://github.com/ocsigen/eliom.git already up-to-date
>> Your request can't be satisfied:
>>   - eliom is not available because the package is
>>     pinned to https://github.com/ocsigen/eliom.git, version dev.

--
Bahman Movaqar

http://BahmanM.com - https://twitter.com/bahman__m
https://github.com/bahmanm - https://gist.github.com/bahmanm
PGP Key ID: 0x6AB5BD68 (keyserver2.pgp.com)