This is a PKGBUILD and desktop file for installing Sireum IVE on Arch Linux.
You'll need all the tools listed in the Arch Wiki
Afterwards, it's just a matter of cloning this repo and running
makepkg
sudo pacman -U PKG_NAME
where PKG_NAME is something like sireum-ive-v3-1-any.pkg.tar.zst that was created in the folder.
Currently the download size is about 1.2G and the installed size is about 1.8G.