diff options
| -rw-r--r-- | gnu/packages/gnome.scm | 16 |
1 files changed, 0 insertions, 16 deletions
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") |