> All that said, I now have a working Coq 8.8.0 installed. great! thanks, pesco. I'll try this the next weekend.
btw, on MacOS with homebrew, I tried opam to install coq, just works. I wanna see coq as a opam package on OpenBSD, too... if anyone already has an experience, please advice. -- yozo.
