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/libc++.so is setup to point to /usr/lib32/libstdc++.so.6.

Docker Pull Command
Owner
sireum
Source Repository