gringo 4.2.1 (new formula)

Closes #25823.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>