diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template index 9757979e5af..a3dd0e98b55 100644 --- a/srcpkgs/mathcomp/template +++ b/srcpkgs/mathcomp/template @@ -1,7 +1,7 @@ # Template file for 'mathcomp' pkgname=mathcomp -version=1.17.0 -revision=3 +version=1.19.0 +revision=1 build_wrksrc="mathcomp" build_style=gnu-makefile hostmakedepends="coq ocaml-findlib" @@ -10,7 +10,7 @@ maintainer="Leah Neukirchen " license="CECILL-B" homepage="https://github.com/math-comp/math-comp" distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz" -checksum=1779bcdac5d23d90997627364a5943ef4883c6eb54d67ddbb1dfbe6b7795a188 +checksum=786db902d904347f2108ffceae15ba29037ff8e63a6c58b87928f08671456394 nocross="ocaml" post_patch() {