math-comp/mathcomp-history-before-github

The "coqfinitgroup" repository before the switch to github

History of Mathematical Components before GitHub

Here it is