<<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 20230608: HOMEPAGE: HTTPS url available: http://gallium.inria.fr/~fpottier/menhir/ -> https://gallium.inria.fr/~fpottier/menhir/