diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template index 09394c7e38e..37acff40743 100644 --- a/srcpkgs/mathcomp/template +++ b/srcpkgs/mathcomp/template @@ -1,7 +1,7 @@ # Template file for 'mathcomp' pkgname=mathcomp -version=1.15.0 -revision=3 +version=1.16.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=33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95 +checksum=36fe4f5487f4685db9c6e6affa92abb47248440e6d4dfaaa01ab31df5fd4b513 nocross="ocaml" do_install() {