which is (c) Manuel M. T. Chakravarty and freely redistributable
(but see the full license for restrictions).
-The full text of these licenses is reproduced below.
+The full text of these licenses is reproduced below. All of the
+licenses are BSD-style or compatible.
-----------------------------------------------------------------------------