| tag name | upstream/8.3+dfsg |
| tagged object | commit 8f4d4c6613... |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |
|
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |
| tag name | upstream/8.3+dfsg |
| tagged object | commit 8f4d4c6613... |