From da9e132055c2ae3b44d62d5096cce8919c3004f3 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sun, 24 Feb 2019 17:29:05 +0100 Subject: [PATCH] gnu: ragel: Use HTTPS home page. * gnu/packages/ragel.scm (ragel)[source, home-page]: Use HTTPS. --- gnu/packages/ragel.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ragel.scm b/gnu/packages/ragel.scm index 6201482c9f..62a19e003f 100644 --- a/gnu/packages/ragel.scm +++ b/gnu/packages/ragel.scm @@ -29,13 +29,13 @@ (version "6.9") (source (origin (method url-fetch) - (uri (string-append "http://www.colm.net/files/ragel/ragel-" + (uri (string-append "https://www.colm.net/files/ragel/ragel-" version ".tar.gz")) (sha256 (base32 "02k6rwh8cr95f1p5sjjr3wa6dilg06572xz1v71dk8awmc7vw1vf")))) (build-system gnu-build-system) - (home-page "http://www.colm.net/open-source/ragel/") + (home-page "https://www.colm.net/open-source/ragel/") (synopsis "State machine compiler") (description "Ragel compiles executable finite state machines from regular languages.