From 698116b838c63a08b6f01d1b6a29a78e4f12af54 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 3 Jan 2025 18:04:32 +0100
Subject: [PATCH] coq: orphan.

---
 srcpkgs/coq/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index d79c3fd261a..0b5b19396cb 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -6,7 +6,7 @@ hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 depends="ocaml-findlib"
 checkdepends="python3 rsync time"
 short_desc="Proof assistant written in OCaml"
-maintainer="Leah Neukirchen <leah@vuxu.org>"
+maintainer="Orphaned <orphan@voidlinux.org>"
 license="LGPL-2.1-only"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"