EULA

Univalent Versatile Environment EULA

Univalent comes with no guarantees or warranties of any sorts, either written or implied.

This distribution is licensed under 3-Clause BSD License.
In addition to, this includes a number of pre-existing software components, each of which is governed by its own open source license and is made available to you under the terms of such applicable license.
You are responsible for reviewing and complying with the terms of the licenses for those applicable software components.