Interesting, I've only ever used it on Ubuntu, both with the system Debian packages and with versions built from source (via Opam, the OCaml package manager). Both were rock solid for me. If anything, my understanding is that it's Windows where things are sketchy (for OCaml in general, not Coq specifically). Anyway. I'm sorry to hear you had a bad time. It's probably no consolation that it doesn't seem to be as bad for most others.
It's probably no consolation that it doesn't seem to be as bad for most others.
I stopped using Coq after that course and moved to other interests, but I'm relatively happy to know that, if I ever need Coq again, the chances for it to be the same PITA I remember are pretty low.
I might not ever need it anymore, but it's a small consolation to know that I don't need to fear that possibility.
Comments
Interesting, I've only ever used it on Ubuntu, both with the system Debian packages and with versions built from source (via Opam, the OCaml package manager). Both were rock solid for me. If anything, my understanding is that it's Windows where things are sketchy (for OCaml in general, not Coq specifically). Anyway. I'm sorry to hear you had a bad time. It's probably no consolation that it doesn't seem to be as bad for most others.
I stopped using Coq after that course and moved to other interests, but I'm relatively happy to know that, if I ever need Coq again, the chances for it to be the same PITA I remember are pretty low.
I might not ever need it anymore, but it's a small consolation to know that I don't need to fear that possibility.