From 0f2967e86bf05694dfd8f4cd8088bd396c9dc665 Mon Sep 17 00:00:00 2001 From: Dima Pasechnik Date: Mon, 12 Jun 2023 12:46:37 +0100 Subject: [PATCH] remove deprecated in #32894 python module interfaces/primecount --- src/sage/interfaces/primecount.py | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 src/sage/interfaces/primecount.py diff --git a/src/sage/interfaces/primecount.py b/src/sage/interfaces/primecount.py deleted file mode 100644 index 518378e1fe2..00000000000 --- a/src/sage/interfaces/primecount.py +++ /dev/null @@ -1,5 +0,0 @@ -from sage.misc.superseded import deprecation -deprecation(32894, "the module sage.interfaces.primecount is deprecated - use primecountpy.primecount instead") -from sage.misc.lazy_import import lazy_import -lazy_import("primecountpy.primecount", ['phi', 'nth_prime', 'prime_pi', 'prime_pi_128'], - deprecation=(32894, "the module sage.interfaces.primecount is deprecated - use primecountpy.primecount instead"))