Merge pull request #718 from SkySkimmer/jump-to-def #190

Job	Run time
coq	4m 37s
coq-elpi	2m 12s
hierarchy-builder	2m 23s
mathcomp-ssreflect	3m 31s
mathcomp-finmap	3m 46s
mathcomp-fingroup	4m 4s
mathcomp-bigenough	3m 35s
mathcomp-algebra	3m 56s
multinomials	2m 55s
mathcomp-classical	3m 14s
mathcomp-solvable	3m 21s
mathcomp-reals	2m 44s
mathcomp-field	3m 56s
mathcomp-experimental-reals	2m 35s
mathcomp-reals-stdlib	2m 4s
mathcomp-analysis	12m 43s
mathcomp-real-closed	4m 56s
mathcomp-character	5m 1s
mathcomp	2m 44s
odd-order	10m 20s
mathcomp-analysis-stdlib	11m 13s
	1h 35m 50s

Provide feedback