emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[debbugs-tracker] bug#35828: closed ([PATCH 11/31] gnu: mate-menus: Use


From: GNU bug Tracking System
Subject: [debbugs-tracker] bug#35828: closed ([PATCH 11/31] gnu: mate-menus: Use mirror://mate/ in source URI.)
Date: Mon, 27 May 2019 10:03:07 +0000

Your message dated Mon, 27 May 2019 12:02:42 +0200
with message-id <address@hidden>
and subject line Re: [bug#35818] [PATCH] gnu: Use mirror://mate/ in source URIs.
has caused the debbugs.gnu.org bug report #35818,
regarding [PATCH 11/31] gnu: mate-menus: Use mirror://mate/ in source URI.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
35818: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35818
GNU Bug Tracking System
Contact address@hidden with problems
--- Begin Message --- Subject: [PATCH 11/31] gnu: mate-menus: Use mirror://mate/ in source URI. Date: Tue, 21 May 2019 10:50:52 +0200
* gnu/packages/mate.scm(mate-menus)[source](uri): Use "mirror://mate/"
  instead of "https://pub.mate-desktop.org/releases/"; directly.
---
 gnu/packages/mate.scm | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/gnu/packages/mate.scm b/gnu/packages/mate.scm
index 3d777c6..4f63fd1 100644
--- a/gnu/packages/mate.scm
+++ b/gnu/packages/mate.scm
@@ -513,14 +513,14 @@ MATE desktop environment.")
   (package
     (name "mate-menus")
     (version "1.22.0")
-    (source (origin
-              (method url-fetch)
-              (uri (string-append "https://pub.mate-desktop.org/releases/";
-                                  (version-major+minor version) "/"
-                                  name "-" version ".tar.xz"))
-              (sha256
-               (base32
-                "1lkakbf2f1815c146z4xp5f0h4lim6jzr02681wbvzalc6k97v5c"))))
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "mirror://mate/" (version-major+minor version) "/"
+                           name "-" version ".tar.xz"))
+       (sha256
+        (base32
+         "1lkakbf2f1815c146z4xp5f0h4lim6jzr02681wbvzalc6k97v5c"))))
     (build-system gnu-build-system)
     (arguments
      `(#:phases
-- 
2.21.0




--- End Message ---
--- Begin Message --- Subject: Re: [bug#35818] [PATCH] gnu: Use mirror://mate/ in source URIs. Date: Mon, 27 May 2019 12:02:42 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
Hi,

guy fleury iteriteka <address@hidden> skribis:

> From 3c76a517f763f592f49da4da15a3ee33ff25cd25 Mon Sep 17 00:00:00 2001
> From: guy fleury iteriteka <address@hidden>
> Date: Fri, 17 May 2019 09:15:35 +0200
> Subject: [PATCH] gnu: MATE: Use mirror://mate/ in source URIs.
>
> * gnu/packages/mate.scm(MATE packages)[source](uri): Use "mirror://mate/"
>   instead of "https://pub.mate-desktop.org/releases/"; directly.

Applied, thanks!

Ludo'.


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]