gap-system / gap / 12013

4%

push

travis-ci

turn the package name to lowercase

`DirectoriesPackagePrograms( <name> )` wants to check
whether the package `<name>` is already available,
but it does not make sure that `<name>` is in lowercase.
Thus the package may be erroneously regarded as not yet loaded,
and if several versions of the package are installed
then the path for the highest version is taken, which may be wrong.

1 of 1 new or added line in 1 file covered. (100.0%)

282565 of 332865 relevant lines covered (84.89%)

36703897.5 hits per line