[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)



Control: block 939741 by 897129

I agree. coq-doc acquired a new dependency in the 8.9 release, so
that’ll need to get packaged first.


Reply to: