language43 regole attiveVerificato il 2026-09-30

Coq Modello .gitignore

Standard Coq gitignore template from upstream github/gitignore collection. Generato e unito in modo deterministico con i pattern ufficiali del repository GitHub per preservare il tuo progetto da cartelle di dipendenze, file compilati e variabili d'ambiente locali.

Generatore interattivo di stack

Apri nel generatore completo

Aggiunta rapida:

Selezionati1

Coq

Modelli selezionati (1)

Coq

language

Standard Coq gitignore template from upstream github/gitignore collection

#coq

.gitignore

43 regole•1 modello

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 righe•UTF-8•LF

Pipeline Deterministica

Sorgente di Coq .gitignore

Modello ufficiale upstream indicizzabile

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

Dettaglio delle regole principali

Artefatti di compilazione

Ignora i file binari compilati, i file oggetto intermedi e le cartelle di output generate durante la build.

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

Cache e file temporanei

Ignora le cache dei compilatori, i dati di copertura dei test e i file di bozza temporanei per mantenere il repository agile.

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

Origine e licenza verificata

Fonte:: GitHub gitignore ufficiale (main)

Licenza:: CC0-1.0

Salva questo file nella radice del tuo progetto con il nome .gitignore. Le modifiche avranno effetto sui file nuovi o non ancora tracciati.

language

Coq Modello .gitignore

Generatore interattivo di stack

Sorgente di Coq .gitignore

Dettaglio delle regole principali

Artefatti di compilazione

Cache e file temporanei

Origine e licenza verificata

Tecnologie correlate e complementari

Actionscript

Ada

Auto It

Automation Studio