.gitignore pentru Coq

43 reguli de ignorare pentru Coq, gata de copiat în depozitul dvs.

Asistent pentru dovezi oficiale

Descărcați .gitignore Combinați Coq cu alte tehnologii

.gitignore complet pentru Coq

# Generat de LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 23:49:06 UTC
# Tehnologii: Coq

### Coq ###
.*.aux
.*.d
# Bibliotecă statică
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Fișier obiect
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log

Ce ignoră regulile pentru Coq

Fiecare model de mai jos și motivul pentru care se află în .gitignore.

Generalități

Model de fișier	Ce ignoră
`.*.aux`	Generalități
`.*.d`	Generalități
`*.a`	Bibliotecă statică
`*.cma`	Generalități
`*.cmi`	Generalități
`*.cmo`	Generalități
`*.cmx`	Generalități
`*.cmxa`	Generalități
`*.cmxs`	Generalități
`*.glob`	Generalități
`*.ml.d`	Generalități
`*.ml4.d`	Generalități
`*.mlg.d`	Generalități
`*.mli.d`	Generalități
`*.mllib.d`	Generalități
`*.mlpack.d`	Generalități
`*.native`	Generalități
`*.o`	Fișier obiect
`*.v.d`	Generalități
`*.vio`	Generalități
`*.vo`	Generalități
`*.vok`	Generalități
`*.vos`	Generalități
`.coq-native`	Generalități
`.csdp.cache`	Generalități
`.lia.cache`	Generalități
`.nia.cache`	Generalități
`.nlia.cache`	Generalități
`.nra.cache`	Generalități
`csdp.cache`	Generalități
`lia.cache`	Generalități
`nia.cache`	Generalități
`nlia.cache`	Generalități
`nra.cache`	Generalități
`native_compute_profile_*.data`	Generalități
`*.timing.diff`	fișierele de sincronizare generate
`*.v.after-timing`	Generalități
`*.v.before-timing`	Generalități
`*.v.timing`	Generalități
`time-of-build-after.log`	Generalități
`time-of-build-before.log`	Generalități
`time-of-build-both.log`	Generalități
`time-of-build-pretty.log`	Generalități

Cum să utilizați acest .gitignore pentru Coq

Copiați regulile Coq de mai sus sau descărcați fișierul direct.
Creați un fișier numit .gitignore la rădăcina depozitului dvs. Git și inserați regulile în el.
Dacă unele fișiere sunt deja urmărite, rulați git rm -r --cached . și apoi faceți din nou commit — Git aplică regulile de ignorare numai fișierelor neurmărite.
Faceți commit pentru .gitignore, astfel încât întreaga echipă să folosească aceleași reguli.

Alte șabloane Limbă .gitignore

Python Java C C++ Go Kotlin Rust Zig Dart Elm Emacs Lisp Gleam

Vedeți fiecare șablon Limbă