The source project of this merge request has been removed.
Adapt to coq/coq#14773 (convert_concl has a ~cast argument)
With DEFAULTcast cast:false is the previous behaviour, otherwise cast:true.
With DEFAULTcast cast:false is the previous behaviour, otherwise cast:true.