Add dev packages for Coq Platform packages which don't have one as yet#2080

Merged

palmskog merged 3 commits intocoq:masterfrom MSoegtropIMC:dev-packages.1

Jan 26, 2022

+1,339

Commits on Jan 25, 2022

Add dev packages for Coq Platform packages which don't have one as yet
MSoegtropIMC
committed
set only lower bounds for dependencies

MSoegtropIMC
and
palmskog
authored

Commits on Jan 26, 2022

use autoconf instead of autoreconf, restrict Coq version to dev (plugin)

MSoegtropIMC
and
palmskog
authored