v3.25.2 protected
Jose E. Roman's avatar
Jose E. Roman
@joseroman
5bb19b9d · Increase patchlevel to 3.25.2 ·
Unverified 
SLEPc 3.25.2