]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 5 Jun 2017 23:25:41 +0000 (23:25 +0000) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 5 Jun 2017 23:25:41 +0000 (23:25 +0000) | ||
commit | 6b871b2b1dfb5663da37fc48e10b4b7a6da74b56 | |
tree | b9e48638e73ddd603f7a220aba380c9e2e46f124 | tree | snapshot |
parent | 1993b991f3f5a80b24e7144dd64beb40cedf9f90 | commit | diff |
coq-lablgtk2.patch | diff | blob | blame | history | |
coq.spec | diff | blob | blame | history |