.hidden
*.dpd
*.dot

##Coq
*.vo
*.glob
*.v.d
*~
Makefile.coq
Makefile.coq.conf
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.ml.d
*.mllib.d
*.o
*.aux
*.d
*.lia.cache
doc/

# artefact
cpp20-artefact.zip