How to downgrade Frama-C

my frama-c and E-ACSL's version is 24.0+dev, but E-ACSL's version in manual is 23.i.

so I want to downgrade frama-c and E-ACSL.

How to downgrade Frama-C and E-ACSL?

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