From 7e5605b1c74e8341867a3ffdc205770293cb88a6 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 6 Dec 2020 14:34:44 +0100
Subject: fix: Workaround DebBug 34341 (fixed in Emacs 26.3, 27.1)

* This patch should hopefully fix ProofGeneral CI tests.

href: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34341
href: https://github.com/coq/coq/issues/12088#issuecomment-613522676
---
 ci/init-tests.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/init-tests.el b/ci/init-tests.el
index 6b0f4439..4f40c295 100644
--- a/ci/init-tests.el
+++ b/ci/init-tests.el
@@ -9,6 +9,7 @@
 
 ;; Setup MELPA
 (require 'package)
+(setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3")
 (let* ((no-ssl (and (memq system-type '(windows-nt ms-dos))
                     (not (gnutls-available-p))))
        (proto (if no-ssl "http" "https")))
-- 
cgit v1.2.3


From 9830d357463d98255519f5bc271243ff7329d05a Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 6 Dec 2020 14:36:10 +0100
Subject: refactor: Simplify ci/init-tests.el

---
 ci/init-tests.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/ci/init-tests.el b/ci/init-tests.el
index 4f40c295..ade70cce 100644
--- a/ci/init-tests.el
+++ b/ci/init-tests.el
@@ -10,11 +10,7 @@
 ;; Setup MELPA
 (require 'package)
 (setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3")
-(let* ((no-ssl (and (memq system-type '(windows-nt ms-dos))
-                    (not (gnutls-available-p))))
-       (proto (if no-ssl "http" "https")))
-  (add-to-list 'package-archives
-               (cons "melpa" (concat proto "://melpa.org/packages/")) t))
+(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
 (package-initialize)
 
 ;; Optionally: bootstrap use-package for declarative package specs
-- 
cgit v1.2.3


From fafe6bdea4188db78857058b571282948314b2de Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 6 Dec 2020 14:47:33 +0100
Subject: docs: Update README.md accordingly & Mention the URL of the debbug

---
 README.md | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index a918523f..a0f1a640 100644
--- a/README.md
+++ b/README.md
@@ -35,14 +35,21 @@ your `.emacs` and restart Emacs:
 
 ```elisp
 (require 'package)
-(let* ((no-ssl (and (memq system-type '(windows-nt ms-dos))
-                    (not (gnutls-available-p))))
-       (proto (if no-ssl "http" "https")))
-  (add-to-list 'package-archives
-               (cons "melpa" (concat proto "://melpa.org/packages/")) t))
+;; (setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") ; see remark below
+(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
 (package-initialize)
 ```
 
+**Remark:** If you have Emacs 26.1 (which is precisely
+[the packaged version in Debian 10](https://packages.debian.org/emacs)),
+you may get the error message `Failed to download 'melpa' archive`
+during the package refresh step. This is a know bug
+([debbug #34341](https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34341))
+which has been fixed in Emacs 26.3 and 27.1, while a simple workaround
+consists in uncommenting the line
+`(setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3")` above in your
+`.emacs`.
+
 **Note:** If you switch to MELPA from a previously manually-installed
 Proof General, make sure you removed the old versions of Proof General
 from your Emacs context (by removing from your `.emacs` the line
-- 
cgit v1.2.3