Noticed this in the draft release notes (https://github.com/gap-system/gap/pull/6414). I think this should say "Library of local nearrings": https://github.com/gap-packages/LocalNR/blob/b5b8552f6668ba9bb735acc0bcb08965513904c2/PackageInfo.g#L17
Noticed this in the draft release notes (gap-system/gap#6414). I think this should say "Library of local nearrings":
LocalNR/PackageInfo.g
Line 17 in b5b8552