language43 règles activesVérifié le 2026-09-30

Coq Modèle .gitignore

Standard Coq gitignore template from upstream github/gitignore collection. Généré et fusionné de manière déterministe avec les règles officielles de GitHub pour préserver votre dépôt des répertoires de dépendances, artefacts de compilation et fichiers de configuration locale.

Générateur interactif de stack

Ouvrir dans le générateur complet

Ajout rapide :

Sélectionnés1

Coq

Modèles sélectionnés (1)

Coq

language

Standard Coq gitignore template from upstream github/gitignore collection

#coq

.gitignore

43 règles•1 modèle

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

Pipeline Déterministe

Source brute de Coq .gitignore

Modèle officiel upstream explorable

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

Détail des règles clés

Artefacts de compilation

Ignore les binaires compilés, les fichiers objets intermédiaires et les dossiers de sortie générés lors de la compilation.

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

Caches et fichiers temporaires

Ignore les caches des compilateurs, les rapports de couverture de tests et les fichiers de travail temporaires.

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

Origine et vérification

Source :: GitHub gitignore officiel (main)

Licence :: CC0-1.0

Placez ce fichier dans le répertoire racine de votre projet sous le nom .gitignore. Les modifications s'appliquent aux fichiers nouveaux ou non suivis.

language

Coq Modèle .gitignore

Générateur interactif de stack

Source brute de Coq .gitignore

Détail des règles clés

Artefacts de compilation

Caches et fichiers temporaires

Origine et vérification

Technologies associées et complémentaires

Actionscript

Ada

Auto It

Automation Studio