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
-}