2025-07-03: Due to updates GitLab may be unavailable for some minutes between 13:00 and 17:00.
Releasing version 2.0 Peregrine 2.0 contains the following new features: - Universal leader support - A new verification backend based on stage graphs