]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Wed, 30 Apr 2014 17:25:48 +0000 (19:25 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Wed, 30 Apr 2014 17:25:48 +0000 (19:25 +0200) | ||
commit | 650aa0b620c8ca80f44133d4dd3a7c9b51407325 | |
tree | ed7d8cefee37b005020f6a7ef39737250dbe2010 | tree | snapshot |
parent | f44997140d3a699a3b97b1ec3b0c24795728488c | commit | diff |
coq-lablgtk2.patch | diff | blob | blame | history | |
coq.spec | diff | blob | blame | history |