GitIgnore File for coq

Create a .gitignore file to tell git which files or folders to ignore in your coq project.

# Created by https://Shodkk.com/create-gitignore (Shantanu Bombatkar) SirDeploy Package
# It helps deploy fakeserver ReactApp on Heroku and Github Pages
#  Hope it helps || Thanks for Using SirDeploy Package

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

# generated timing files
*.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

 # Star the Repo https://github.com/shaantanu9/SirDeploy
# https://www.linkedin.com/in/shantanu-bombatkar/ 
# End of File
Download coq.gitignore

List Of Files and Folders That Get Ignored using this Gitignore code

Above Code Helps ignore following files from coq Project

generated timing files

If you have any questions or suggestions please feel free to contact us


Feedback is the most important part of any website.

If you have any query, suggestion or feedback, Please feel free to contact us.