| tag name | V8.5pl2 |
| Tagged object | commit e1661dc9a4... |
| download | coq-8.5pl2.zip coq-8.5pl2.tar.gz coq-8.5pl2.tar.bz2 |
|---|
 |
index : coq | |
| El asistente de pruebas Coq | mirror |
| summaryrefslogtreecommitdiff |
|
index : coq | |
| El asistente de pruebas Coq | mirror |
| summaryrefslogtreecommitdiff |
| tag name | V8.5pl2 |
| Tagged object | commit e1661dc9a4... |
| download | coq-8.5pl2.zip coq-8.5pl2.tar.gz coq-8.5pl2.tar.bz2 |
|---|