*.vo
*.vos
*.vok
*.glob
.*.aux
# auto-generated
.coqdeps.d
.Makefile.coq.d
Makefile.coq
Makefile.coq.conf
.coq-native/
native_compute_profile_*.data

# generated timing files
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log
