Upgrade to solo5-elftool 0.4.0
Upgrade to solo5-elftool 0.4.0
Update to mirage-crypto-rng>=1.2.0
Update to mirage-crypto-rng>=1.2.0
Add upper bound on solo5-elftool
Please note that blocking a user has other effects, such as: