parent
d94de3f48a
commit
8dae63937b
|
@ -1094,22 +1094,6 @@ GtkSourceView-based text editors and IDEs.")
|
||||||
(home-page "https://wiki.gnome.org/Projects/Tepl")
|
(home-page "https://wiki.gnome.org/Projects/Tepl")
|
||||||
(license license:lgpl2.1+)))
|
(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
|
(define-public krb5-auth-dialog
|
||||||
(package
|
(package
|
||||||
(name "krb5-auth-dialog")
|
(name "krb5-auth-dialog")
|
||||||
|
|
Reference in New Issue