License fetcher for UPPAAL-4 and UPPAAL-5
-----------------------------------------

In order to get both UPPAAL-4 and UPPAAL-5 licenses run `uppaal-leases`.
See `uppaal-leases --help` for more options.

Known Issues
------------

If `uppaal-leases` is crashing consistently, then perhaps the standard
C library version (libc.so) on your computer is not compatible with what
`uppaal-leases` has been linked against.
Use `uppaal-leases.sh` wrapper script as a workaround.
To investigate further, check that the libc.so version:
/lib/x86_64-linux-gnu/libc.so.6 --version  # should be newer than
./libc.so.6 --version                      # the shipped libc
