something weird with decompress 1.0.0: getting Error: Library "decompress" not found. from dune @dinosaure

This commit is contained in:
Hannes Mehnert 2019-10-02 22:09:13 +02:00
parent 4ce52daea8
commit 37ad18107e

View file

@ -24,7 +24,7 @@ depends: [
"nocrypto"
"asn1-combinators" {>= "0.2.0"}
"duration"
"decompress" {>= "0.9.0"}
"decompress" {>= "0.9.0" & < "1.0.0"}
"checkseum"
]