viperproject/viperserver repository overview

⁠License

This image is based upon the official ubuntu⁠ image and contains in addition the following packages: curl, git, gnupg2, locales, openjdk-11-jdk, sbt, and z3.

This is a list of licenses of the primary software being contained:

• License information of Ubuntu⁠
• License information of curl⁠
• License information of git⁠
• License information of gnupg2⁠
• License information of locales⁠
• License information of unzip & zip⁠
• License information of openjdk-11-jdk⁠
• License information of sbt (Apache License 2.0)⁠
• License information of z3⁠

As with all Docker images, these likely also contain other software which may be under other licenses (such as Bash, etc from the base distribution, along with any direct or indirect dependencies of the primary software being contained).

As for any pre-built image usage, it is the image user's responsibility to ensure that any use of this image complies with any relevant licenses for all software contained within.