]> git.pld-linux.org Git - packages/coq.git/commit - coq.spec
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1993b99) | patch
- up to 8.6 auto/th/coq-8.6-1
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 23:25:41 +0000 (23:25 +0000)
committerJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 23:25:41 +0000 (23:25 +0000)
commit6b871b2b1dfb5663da37fc48e10b4b7a6da74b56
treeb9e48638e73ddd603f7a220aba380c9e2e46f124tree | snapshot
parent1993b991f3f5a80b24e7144dd64beb40cedf9f90commit | diff
- up to 8.6
coq-lablgtk2.patch diff | blob | blame | history
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.047839 seconds and 4 git commands to generate.