code.gitea.io/gitea@v1.21.7/options/gitignore/Coq (about)

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