François Marier at 2015-08-31T15:01:10Z

Put this in ~/.emacs to upgrade the default #emacs repo to #HTTPS: (setq package-archives '(("gnu" . "https://elpa.gnu.org/packages/")))

Ben Sturmfels likes this.