diff -Nru coq-8.11.0/debian/changelog coq-8.11.0/debian/changelog
--- coq-8.11.0/debian/changelog	2020-03-05 20:37:30.000000000 +0000
+++ coq-8.11.0/debian/changelog	2020-08-09 01:51:11.000000000 +0000
@@ -1,3 +1,9 @@
+coq (8.11.0-1+rpi1) bullseye-staging; urgency=medium
+
+  * Disable testsuite.
+
+ -- Peter Michael Green <plugwash@raspbian.org>  Sun, 09 Aug 2020 01:51:11 +0000
+
 coq (8.11.0-1) unstable; urgency=medium
 
   * New upstream release.
diff -Nru coq-8.11.0/debian/rules coq-8.11.0/debian/rules
--- coq-8.11.0/debian/rules	2020-03-05 20:37:30.000000000 +0000
+++ coq-8.11.0/debian/rules	2020-08-09 01:51:11.000000000 +0000
@@ -86,7 +86,7 @@
 
 .PHONY: override_dh_auto_test
 override_dh_auto_test:
-ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
+ifeq (testsuitedisabled,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
 	CAML_LD_LIBRARY_PATH=$(shell pwd)/kernel/byterun COQLIB=$(shell pwd) \
 	  $(MAKE) test-suite COMPLEXITY= PRINT_LOGS=1
 endif