From 14554b0bff05f45fadfe8d06f80b8470d825d8f2 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Fri, 3 Jan 2025 18:04:48 +0100 Subject: [PATCH] mathcomp: orphan. --- srcpkgs/mathcomp/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"