Ravencoin 2.5.1 ARM 32bit branch for RavencoinOS compiled by Ravenland (official).
See https://ravenland.org/os for the downloadable rpi image. This is the binary only for ravencoin and image has many extra feature.
Please note this update (ravencoin 2.5.1) is not published yet as image, but is coming soon as well as rpi4 support.