Sha256: 6974eb5ff295156ee4bf2e086d9a4ac91ba235ceaa77dcbc4d328a024a247f58

Contents?: true

Size: 18 Bytes

Versions: 43

Compression:

Stored size: 18 Bytes

Contents

*.vo
*.glob
*.v.d

Version data entries

43 entries across 43 versions & 3 rubygems

Version Path
qb-0.1.43 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.42 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.41 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.40 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.39 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.38 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.37 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.36 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.35 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.34 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.33 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.32 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.31 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.30 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.29 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.28 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.27 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.26 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.25 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.24 roles/qb.gitignore/files/gitignore/Coq.gitignore