Installation of latest prover9-get_interps command is available for Fedora. You can copy the command for your OS from above and paste it into your terminal. Once you run the command it will download the 2023 latest package from the repository and install it in your computer/server.