Sireum depends on open source software libraries and applications (the specific versions are listed in versions.properties and in bin/install scripts).