- up to 8.6 master 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
treeb9e48638e73ddd603f7a220aba380c9e2e46f124
parent1993b991f3f5a80b24e7144dd64beb40cedf9f90
- up to 8.6
coq-lablgtk2.patch
coq.spec
This page took 0.284826 seconds and 4 git commands to generate.