diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index c451931bba..f7f12a6b12 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -1094,22 +1094,6 @@ GtkSourceView-based text editors and IDEs.")
     (home-page "https://wiki.gnome.org/Projects/Tepl")
     (license license:lgpl2.1+)))
 
-(define-public tepl-5
-  (package
-    (inherit tepl)
-    (name "tepl")
-    (version "5.0.1")
-    (source
-     (origin
-       (method url-fetch)
-       (uri
-        (string-append "mirror://gnome/sources/" name "/"
-                       (version-major+minor version) "/"
-                       name "-" version ".tar.xz"))
-       (sha256
-        (base32
-         "0118j64s4fb350phbgda2rk6sv19rfgglxc7nf248llzc1klj9xi"))))))
-
 (define-public krb5-auth-dialog
   (package
     (name "krb5-auth-dialog")