Coq .gitignore テンプレート

1### Coq ###
2.*.aux
3.*.d
4*.a
5*.cma
6*.cmi
7*.cmo
8*.cmx
9*.cmxa
10*.cmxs
11*.glob
12*.ml.d
13*.ml4.d
14*.mlg.d
15*.mli.d
16*.mllib.d
17*.mlpack.d
18*.native
19*.o
20*.v.d
21*.vio
22*.vo
23*.vok
24*.vos
25.coq-native
26.csdp.cache
27.lia.cache
28.nia.cache
29.nlia.cache
30.nra.cache
31csdp.cache
32lia.cache
33nia.cache
34nlia.cache
35nra.cache
36native_compute_profile_*.data
37 
38# generated timing files
39*.timing.diff
40*.v.after-timing
41*.v.before-timing
42*.v.timing
43time-of-build-after.log
44time-of-build-before.log
45time-of-build-both.log
46time-of-build-pretty.log
47