github.com/coq/opam-coq-archive
Diophantus' 20th Problem and Fermat's Last Theorem for n = 4
opam install coq-fermat4.8.10.0