luarocks lpeg rockspec + https (Re: hosting lua.org)

[nobody <nobody+lua-list@...>]

On 2023-08-22 23:44, Paul Ducklin wrote:
> The lua-users.org content needs to become a proper HTTPS site with no inept-looking certificate error when anyone with a browser built within the last few years tries to visit it securely.
>
> Proper HTTPS on a web server should be considered as unarguable as banning smoking in the workplace […]

On that note, for a long time www.inf.puc-rio.br (where Roberto's 
homepage + lpeg are hosted) was http-only, but it supports HTTPS now! 
(Thanks to whoever made it happen!)

However, the luarocks lpeg install will still download via http and only 
check an md5 sum… what's the proper way to upgrade basically all the 
rocks files to use https instead, and maybe add more robust checksums as 
well?

-- nobody