language43 regras ativasVerificado em 2026-09-30

Coq Modelo de .gitignore

Standard Coq gitignore template from upstream github/gitignore collection. Gerado e mesclado de forma determinística com os padrões oficiais do GitHub para manter seu repositório livre de pastas de pacotes, artefatos de compilação e arquivos de ambiente local.

Gerador interativo de stack

Abrir no gerador completo

Adicionar rápido:

Selecionados1

Coq

Modelos selecionados (1)

Coq

language

Standard Coq gitignore template from upstream github/gitignore collection

#coq

.gitignore

43 regras•1 modelo

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

47 linhas•UTF-8•LF

Pipeline Determinístico

Código bruto de Coq .gitignore

Modelo oficial original rastreável

coq.gitignore•46 lines•UTF-8

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
30csdp.cache
31lia.cache
32nia.cache
33nlia.cache
34nra.cache
35native_compute_profile_*.data
36 
37# generated timing files
38*.timing.diff
39*.v.after-timing
40*.v.before-timing
41*.v.timing
42time-of-build-after.log
43time-of-build-before.log
44time-of-build-both.log
45time-of-build-pretty.log
46

Detalhamento de padrões essenciais

Artefatos de compilação e build

Ignora binários compilados, arquivos de objetos intermediários e diretórios de saída gerados durante a compilação.

.*.aux*.a*.otime-of-build-after.logtime-of-build-before.logtime-of-build-both.log+1 adicionais

Cache e arquivos temporários

Ignora caches de compiladores, dados de cobertura de testes e arquivos de rascunho temporários.

.csdp.cache.lia.cache.nia.cache.nlia.cache.nra.cachecsdp.cache+2 adicionais

Origem e verificação

Fonte:: GitHub gitignore (main)

Licença:: CC0-1.0

Coloque este arquivo na raiz do seu projeto com o nome .gitignore. As alterações passam a valer para arquivos novos ou não rastreados.

language

Coq Modelo de .gitignore

Gerador interativo de stack

Código bruto de Coq .gitignore

Detalhamento de padrões essenciais

Artefatos de compilação e build

Cache e arquivos temporários

Origem e verificação

Tecnologias relacionadas e complementares

Actionscript

Ada

Auto It

Automation Studio