mei on Nostr: i had to use opam once to manage Coq dependencies and it took two days of back and ...

i had to use opam once to manage Coq dependencies and it took two days of back and forth with the people who set up the entire thing in the first place for us to just give up and hack around the thing instead