<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> i think opam and coq are a particularly bad combination (coq is fucking weird and i don't like talking about it); wanna try using opam in a non-coq context? i know it quite well and can answer questions</p>
