use-external-slicot.patch
spelling-errors-in-warning-messages.patch
