Merge pull request #554 from coq-community/adjust-version #590

Job	Run time
install-opam (ubuntu-latest, 4.14.x)	13m 51s
nix-dev-build (ubuntu-latest)	8m 35s
nix-dev-build (macos-latest)	17m 6s
dev-setup-opam (ubuntu-latest, 4.14.x)	12m 7s
build-extension (macos-latest)	1m 43s
build-extension (ubuntu-latest)	1m 3s
build-extension (windows-latest)	3m 16s
install-windows	57m 32s
release-opam (ubuntu-latest, 4.14.x)	14m 28s
	2h 9m 41s

Provide feedback