/
.clang-format
.gitignore
.mailmap
.travis.yml
AUTHORS
COPYING
INSTALL
Makefile
Makefile.am
Makefile.builds.in
Makefile.subdir
NEWS
README
RELEASE-NOTES
THANKS
autogen.sh
config
configure.ac
contrib
doc
examples
library_versions
licenses
proofs
src
test