diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 64582a55940c7492c8ab93df6389224f3f958a4f..acae58a10d3785074e3487ed2453a80d241e0015 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -311,7 +311,7 @@ (define-public coq-gappa
          ;;   (lambda _ (invoke "./remake" "check")))
          (replace 'install
            (lambda _ (invoke "./remake" "install"))))))
-    (home-page "http://gappa.gforge.inria.fr/")
+    (home-page "https://gappa.gforge.inria.fr/")
     (synopsis "Verify and formally prove properties on numerical programs")
     (description "Gappa is a tool intended to help verifying and formally proving
 properties on numerical programs dealing with floating-point or fixed-point