x86_64: libm4ri-0.0.20240729.so
