<<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 20220210: HOMEPAGE: HTTPS url available: http://gallium.inria.fr/~fpottier/menhir/ -> https://gallium.inria.fr/~fpottier/menhir/ <<< open bugs >>> https://bugs.gentoo.org/923844 dev-ml/coq-menhirlib-20220210_-_Error:_The_variable_gt_trans_was_not_found_in_the_current_environment.