From 708fd61f6ee57c0358f8cc96d1b52df6c0e9ebc7 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Tue, 17 Jun 2025 18:37:33 +0200
Subject: [PATCH] mathcomp: remove, outdated.

---
 srcpkgs/mathcomp/template | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 srcpkgs/mathcomp/template

diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template
deleted file mode 100644
index d570ac674cd..00000000000
--- a/srcpkgs/mathcomp/template
+++ /dev/null
@@ -1,23 +0,0 @@
-# Template file for 'mathcomp'
-pkgname=mathcomp
-version=1.19.0
-revision=3
-build_wrksrc="mathcomp"
-build_style=gnu-makefile
-hostmakedepends="coq ocaml-findlib"
-short_desc="Mathematical Components Library for the Coq proof assistant"
-maintainer="Orphaned <orphan@voidlinux.org>"
-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=786db902d904347f2108ffceae15ba29037ff8e63a6c58b87928f08671456394
-nocross="ocaml"
-
-post_patch() {
-	vsed -i -e 's/which/command -v/g' Makefile.common
-}
-
-do_install() {
-	make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/'
-	vlicense ../CeCILL-B
-}