projects / packages / coq.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Tue, 14 May 2013 11:25:27 +0000 (13:25 +0200) | ||
| committer | Jan Rękorajski <baggins@pld-linux.org> | |
| Tue, 14 May 2013 11:25:27 +0000 (13:25 +0200) | ||
| commit | f44997140d3a699a3b97b1ec3b0c24795728488c | |
| tree | 5b9ca98b3052a551a924766e0ddaf5720c9233a8 | tree | snapshot |
| parent | 053cd42586d0295b51436a2b2aafccf1b7bab71d | commit | diff |
| coq.spec | diff | blob | blame | history |