description | The Coq Proof Assistant |
last change | Mon, 5 Jun 2017 23:25:41 +0000 (23:25 +0000) |
URL | git://git.pld-linux.org/packages/coq.git |
ssh://git@git.pld-linux.org/packages/coq.git |
3 years ago | auto/th/coq-8.6-1 | | commit | shortlog | log | ||
3 years ago | auto/th/coq-8.4pl6-3 | | commit | shortlog | log | ||
4 years ago | auto/th/coq-8.4pl6-2 | | commit | shortlog | log | ||
5 years ago | auto/th/coq-8.4pl6-1 | | commit | shortlog | log | ||
5 years ago | auto/th/coq-8.4pl5-2 | | commit | shortlog | log | ||
6 years ago | auto/th/coq-8.4pl5-1 | | commit | shortlog | log | ||
6 years ago | auto/th/coq-8.4pl3-2 | | commit | shortlog | log | ||
6 years ago | auto/th/coq-8.4pl3-1 | | commit | shortlog | log | ||
7 years ago | auto/th/coq-8.3pl1-2 | | commit | shortlog | log | ||
8 years ago | auto/ac/coq-8_0pl2-2 | | commit | shortlog | log | ||
8 years ago | auto/th/coq-8_3pl1-1 | | commit | shortlog | log |
3 years ago | master | shortlog | log | tree |