diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template index a3dd0e98b55..10fc27cc2e7 100644 --- a/srcpkgs/mathcomp/template +++ b/srcpkgs/mathcomp/template @@ -1,7 +1,7 @@ # Template file for 'mathcomp' pkgname=mathcomp version=1.19.0 -revision=1 +revision=2 build_wrksrc="mathcomp" build_style=gnu-makefile hostmakedepends="coq ocaml-findlib"