Releases: diffblue/hw-cbmc
ebmc-5.3
This is EBMC version 5.3.
Debian, Ubuntu and derivates
For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run
dpkg -i ebmc_5.3_amd64.deb
Red Hat Linux and derivates
For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run
rpm -i ebmc-5.3-1.x86_64.rpm
ebmc-5.2
This is EBMC version 5.2.
Debian, Ubuntu and derivates
For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run
dpkg -i ebmc_5.2_amd64.deb
Red Hat Linux and derivates
For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run
rpm -i ebmc-5.2-1.x86_64.rpm
ebmc-5.1
This is EBMC version 5.1.
Debian, Ubuntu and derivates
For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run
dpkg -i ebmc_5.1_amd64.deb
Red Hat Linux and derivates
For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run
rpm -i ebmc-5.1-1.x86_64.rpm
ebmc-5.0
This is EBMC version 5.0.
Debian, Ubuntu and derivates
For Debian and Ubuntu, install EBMC by downloading the *.deb package below and then run
dpkg -i ebmc_5.0_amd64.deb
Red Hat Linux and derivates
For Red Hat, CentOS, Fedora, Amazon Linux, install EBMC by downloading the *.rpm package below and then run
rpm -i ebmc-5.0-1.x86_64.rpm