Re: [MirageOS-devel] New irmin release (0.9.9)

[Thomas Leonard <talex5@xxxxxxxxx>]

On 14 August 2015 at 14:53, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>> I see Travis says:
>>
>> [ERROR] No package matches irmin-indexeddb<0.1.
>> Skipping uninstallable REVDEP irmin-indexeddb
>> 0/1 REVDEPS installable
>>
>> Was this intentional (adding the config functions would indeed break
>> irmin-indexeddb), or did the Travis tests fail to spot the problem?
>
> yes, I've added the restriction in opam-repository few days ago. REVDEPS 
> works great :-)

Ah, success then! :-) Strange error message though...


-- 
Dr Thomas Leonard        http://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel