diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template index 1fe608babde..d570ac674cd 100644 --- a/srcpkgs/mathcomp/template +++ b/srcpkgs/mathcomp/template @@ -6,7 +6,7 @@ build_wrksrc="mathcomp" build_style=gnu-makefile hostmakedepends="coq ocaml-findlib" short_desc="Mathematical Components Library for the Coq proof assistant" -maintainer="Leah Neukirchen " +maintainer="Orphaned " license="CECILL-B" homepage="https://github.com/math-comp/math-comp" distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz"