index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
distrib
/
RH
/
.cvsignore
blob: d7a4769a286fe8005b6e27e10cd109768e9a2a1c (
plain
)
1
2
3
4
5
build src coq.list pcoq.list coqide.list pcoq.spec rpmmacros rpmrc coq-*
