coq: remove, pkgsrc version is newer

Makefile

@@ -527,7 +527,6 @@ SUBDIR+=	contacts
 SUBDIR+=	cool-retro-term-git
 SUBDIR+=	cops
 SUBDIR+=	copytape
-SUBDIR+=	coq
 SUBDIR+=	coreclr-git
 SUBDIR+=	corefx-git
 SUBDIR+=	corert-git
@@ -2399,7 +2398,6 @@ SUBDIR+=	meta-tracker
 SUBDIR+=	metal
 SUBDIR+=	metalog
 SUBDIR+=	metasploit
-SUBDIR+=	nfcapdu
 SUBDIR+=	mfoc
 SUBDIR+=	mfoc-hardnested
 SUBDIR+=	mg-cvs
@@ -2624,6 +2622,7 @@ SUBDIR+=	netx
 SUBDIR+=	newsboat
 SUBDIR+=	newsboat213
 SUBDIR+=	newt
+SUBDIR+=	nfcapdu
 SUBDIR+=	nget
 SUBDIR+=	nginx-modular
 SUBDIR+=	nginx-module-array-var
@@ -3421,6 +3420,7 @@ SUBDIR+=	py-antlr3
 SUBDIR+=	py-anvio
 SUBDIR+=	py-anyconfig
 SUBDIR+=	py-aopython
+SUBDIR+=	py-apache-arrow
 SUBDIR+=	py-applpy
 SUBDIR+=	py-apprise
 SUBDIR+=	py-apscheduler
@@ -3933,7 +3933,6 @@ SUBDIR+=	py-gsw
 SUBDIR+=	py-gtk2-docs
 SUBDIR+=	py-gtrie
 SUBDIR+=	py-gts
-SUBDIR+=	py-guppy3
 SUBDIR+=	py-gvar
 SUBDIR+=	py-gwcs
 SUBDIR+=	py-gwsurrogate
@@ -4789,6 +4788,7 @@ SUBDIR+=	py-thermistor
 SUBDIR+=	py-thermopy
 SUBDIR+=	py-thermostat
 SUBDIR+=	py-thinc
+SUBDIR+=	py-threadpoolctl
 SUBDIR+=	py-tils
 SUBDIR+=	py-timeago
 SUBDIR+=	py-timeline
@@ -5296,6 +5296,7 @@ SUBDIR+=	silky
 SUBDIR+=	silo
 SUBDIR+=	silvertree
 SUBDIR+=	simgrid
+SUBDIR+=	simh3
 SUBDIR+=	simpa
 SUBDIR+=	simple-mtpfs
 SUBDIR+=	simple-scan