language43 reglas activasVerificado el 2026-09-30

Coq Plantilla .gitignore

Standard Coq gitignore template from upstream github/gitignore collection. Generada y fusionada de manera determinista con los patrones del repositorio oficial de GitHub para mantener tu proyecto libre de carpetas de dependencias, artefactos de build y archivos de entorno local.

Generador interactivo de stack

Abrir en el generador completo

Añadir rápido:

Seleccionadas1

Coq

Plantillas seleccionadas (1)

Coq

language

Standard Coq gitignore template from upstream github/gitignore collection

#coq

.gitignore

43 reglas•1 plantilla

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 líneas•UTF-8•LF

Pipeline Determinista

Código original de Coq .gitignore

Plantilla fuente oficial rastreable

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

Desglose de patrones clave

Artefactos de compilación

Ignora binarios generados, archivos de objetos intermedios y directorios de salida creados durante la compilación.

.*.aux*.a*.otime-of-build-after.logtime-of-build-before.logtime-of-build-both.log+1 más

Caché y archivos temporales

Ignora cachés de compiladores, datos de cobertura de pruebas y archivos de trabajo efímeros.

.csdp.cache.lia.cache.nia.cache.nlia.cache.nra.cachecsdp.cache+2 más

Origen y verificación

Fuente:: GitHub gitignore oficial (main)

Licencia:: CC0-1.0

Coloca este archivo en el directorio raíz de tu proyecto como .gitignore. Los cambios surtirán efecto en archivos nuevos o no rastreados.

language

Coq Plantilla .gitignore

Generador interactivo de stack

Código original de Coq .gitignore

Desglose de patrones clave

Artefactos de compilación

Caché y archivos temporales

Origen y verificación

Tecnologías relacionadas y complementarias

Actionscript

Ada

Auto It

Automation Studio