gnu: bigloo: Use HTTPS home page.

* gnu/packages/scheme.scm (bigloo)[home-page]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2019-12-24 00:00:53 +01:00
parent 77d2e43c01
commit a7c4dfab16
No known key found for this signature in database
GPG key ID: D889B0F018C5493C

View file

@ -305,7 +305,7 @@ (define-public bigloo
`(("pkg-config" ,pkg-config)))
(propagated-inputs
`(("gmp" ,gmp))) ; bigloo.h refers to gmp.h
(home-page "http://www-sop.inria.fr/indes/fp/Bigloo/")
(home-page "https://www-sop.inria.fr/indes/fp/Bigloo/")
(synopsis "Efficient Scheme compiler")
(description
"Bigloo is a Scheme implementation devoted to one goal: enabling Scheme