Public | Automated Build

Last pushed: never
Short Description
Latest Sireum Strawberry stable version, Ubuntu 14.04
Full Description

This repository contains the latest Sireum Strawberry stable version under Ubuntu 14.04.

Sireum is installed in /opt/Sireum.

The following packages are additionally installed: wget, lib32stdc++6, and lib32z1.

Also, a symlink /usr/lib32/ is setup to point to /usr/lib32/

Docker Pull Command
Source Repository