restrict mehari-mirage to tls < 0.16.0
Hannes Mehnert 2 years ago f4bdbc68 0d75f41d
··· 16 16 "mirage-time" {>= "3.0.0"} 17 17 "tcpip" {>= "7.1.2"} 18 18 "tls-mirage" {>= "0.15.4"} 19 19 + "tls" {< "0.16.0"} 19 20 "odoc" {with-doc} 20 21 ] 21 22 build: [