*
# Begin files referenced by symlinks
!README.md
!AUTHORS
!INITIAL_AUTHORS.md
!INSTALL.md
!CeCILL-B
# End files referenced by symlinks
!*.opam
!plugin
!mathcomp
!etc/utils/hierarchy.ml

**/*.d
**/*.vo
**/*.vio
**/*.cm*
**/*~
**/*.glob
**/*.aux
**/*.a
**/*.o
**/*#
**/Make*.coq
**/Make*.coq.bak
**/Make*.coq.conf
mathcomp/ssreflect/ssreflect.ml4
mathcomp/ssreflect/ssrmatching.ml4
mathcomp/ssreflect/ssrmatching.mli
# mathcomp/ssreflect/ssrmatching.v
mathcomp/ssreflect/ssreflect_plugin.mllib
mathcomp/ssreflect/ssreflect_plugin.mlpack
mathcomp/ssreflect.ml4
mathcomp/ssrmatching.ml4
mathcomp/ssrmatching.mli
mathcomp/ssrmatching.v
mathcomp/ssreflect_plugin.mllib
mathcomp/ssreflect_plugin.mlpack
