proofs run in emacs but won't build. coq bug?
proofs run in emacs but won't build. coq bug?

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord