gnu: polyml: Use HTTPS home page URI.
authorBrett Gilio <brettg@posteo.net>
Fri, 22 Nov 2019 21:25:38 +0000 (15:25 -0600)
committerTobias Geerinckx-Rice <me@tobias.gr>
Fri, 22 Nov 2019 21:53:39 +0000 (22:53 +0100)
commit116787d4adb89351ef7ad3f625c5138267f7740b
tree7d2ca773ee6ec1e6af306aa44efdf4b4a5aa26ce
parent8717fb8d5f30915999869e80782ae0fcf1c6698d
gnu: polyml: Use HTTPS home page URI.

* gnu/packages/sml.scm (polyml)[home-page]: Use HTTPS URI.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
gnu/packages/sml.scm