devel/coursier: update distinfo
I forgot to do this when applying diizzy's recommendations.
Fixes: 876b8bb7bac8ccb5a028b8635decf8b14f789a2f
PR: 259233
devel/coursier: update distinfo Tags None Referenced Files None Subscribers None
Description
Details
|