]>
description | The Coq Proof Assistant |
last change | Sat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100) |
URL | git://git.pld-linux.org/packages/coq.git |
ssh://git@git.pld-linux.org/packages/coq.git |
2 years ago | auto/th/coq-8.15.0-1 | | commit | shortlog | log | ||
2 years ago | auto/th/coq-8.13.1-5 | | commit | shortlog | log | ||
2 years ago | auto/th/coq-8.13.1-4 | | commit | shortlog | log | ||
2 years ago | auto/th/coq-8.13.1-3 | | commit | shortlog | log | ||
2 years ago | auto/th/coq-8.13.1-2 | | commit | shortlog | log | ||
2 years ago | auto/th/coq-8.13.1-1 | | commit | shortlog | log | ||
6 years ago | auto/th/coq-8.6-1 | | commit | shortlog | log | ||
6 years ago | auto/th/coq-8.4pl6-3 | | commit | shortlog | log | ||
7 years ago | auto/th/coq-8.4pl6-2 | | commit | shortlog | log | ||
8 years ago | auto/th/coq-8.4pl6-1 | | commit | shortlog | log | ||
8 years ago | auto/th/coq-8.4pl5-2 | | commit | shortlog | log | ||
9 years ago | auto/th/coq-8.4pl5-1 | | commit | shortlog | log | ||
9 years ago | auto/th/coq-8.4pl3-2 | | commit | shortlog | log | ||
9 years ago | auto/th/coq-8.4pl3-1 | | commit | shortlog | log | ||
10 years ago | auto/th/coq-8.3pl1-2 | | commit | shortlog | log | ||
11 years ago | auto/ac/coq-8_0pl2-2 | | commit | shortlog | log | ||
... |
2 years ago | master | shortlog | log | tree |