Newest release fails to install sac-stdlib on RHEL 8

I downloaded the two "full" packages listed for RHEL 8 here. While sac2c-1.3.3-MijasCosta-705-g41ed2-omnibus.rpm installs fine, sac-stdlib-1.3-137-g1cad5.rpm fails with:

Error:
 Problem: conflicting requests
  - nothing provides sac2c-compiler = 1.3.3.709 needed by sac-stdlib-1.3_137_g1cad5-1.x86_64

(Note 709 versus the 705 in the sac2c package version.)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information