These libraries are general purpose libraries from the Clean-Platform repository. They must NOT be modified (or fixed) here but only when appropriate in the upstream repository at: https://svn.cs.ru.nl/repos/clean-platform