projects / packages / coq.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Sat, 25 Jul 2015 16:58:03 +0000 (18:58 +0200) | ||
| committer | Jan Rękorajski <baggins@pld-linux.org> | |
| Sat, 25 Jul 2015 16:58:03 +0000 (18:58 +0200) | ||
| commit | 48226845d9b0ba1a308d5566ebbb0212d69a6d8a | |
| tree | 1fe9de94cb60b25340c02b2006ae332ea8f65edb | tree | snapshot |
| parent | 7f3d6db518db9646aaab6ecd221a629a726309c3 | commit | diff |
| coq.spec | diff | blob | blame | history |