github.com/coq/opam-coq-archive
Problem 11262 of The American Mathematical Monthly
opam install coq-amm11262.8.10.0