.gitignore untuk Coq

43 aturan pengabaian untuk Coq, siap disalin ke repositori Anda.

Asisten bukti formal

Unduh .gitignore Gabungkan Coq dengan teknologi lain

.gitignore lengkap untuk Coq

# Dibuat oleh LFGitignore - https://lfgitignore.com
# Dibuat: 2026-10-31 22:58:55 UTC
# Teknologi: Coq

### Coq ###
.*.aux
.*.d
# Pustaka statis
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Berkas objek
*.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

Apa yang sebenarnya diabaikan oleh aturan Coq ini

Setiap pola berikut beserta alasan untuk memasukkannya ke .gitignore.

Umum

Pola	Yang diabaikan
`.*.aux`	Umum
`.*.d`	Umum
`*.a`	Pustaka statis
`*.cma`	Umum
`*.cmi`	Umum
`*.cmo`	Umum
`*.cmx`	Umum
`*.cmxa`	Umum
`*.cmxs`	Umum
`*.glob`	Umum
`*.ml.d`	Umum
`*.ml4.d`	Umum
`*.mlg.d`	Umum
`*.mli.d`	Umum
`*.mllib.d`	Umum
`*.mlpack.d`	Umum
`*.native`	Umum
`*.o`	Berkas objek
`*.v.d`	Umum
`*.vio`	Umum
`*.vo`	Umum
`*.vok`	Umum
`*.vos`	Umum
`.coq-native`	Umum
`.csdp.cache`	Umum
`.lia.cache`	Umum
`.nia.cache`	Umum
`.nlia.cache`	Umum
`.nra.cache`	Umum
`csdp.cache`	Umum
`lia.cache`	Umum
`nia.cache`	Umum
`nlia.cache`	Umum
`nra.cache`	Umum
`native_compute_profile_*.data`	Umum
`*.timing.diff`	Berkas pewaktuan yang dihasilkan
`*.v.after-timing`	Umum
`*.v.before-timing`	Umum
`*.v.timing`	Umum
`time-of-build-after.log`	Umum
`time-of-build-before.log`	Umum
`time-of-build-both.log`	Umum
`time-of-build-pretty.log`	Umum

Cara menggunakan .gitignore ini untuk Coq

Salin aturan Coq di atas atau unduh langsung berkasnya.
Buat berkas bernama .gitignore di direktori utama repositori Git Anda dan tempelkan aturannya.
Jika sebagian berkas tersebut sudah dilacak, jalankan git rm -r --cached . lalu buat commit baru — Git hanya menerapkan aturan pengabaian pada berkas yang belum dilacak.
Commit .gitignore agar seluruh anggota tim menggunakan aturan yang sama.

Templat .gitignore Bahasa lainnya

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

Lihat semua templat Bahasa