projects / packages / coq.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Fri, 8 Apr 2011 16:51:50 +0000 (16:51 +0000) | ||
| committer | cvs2git <feedback@pld-linux.org> | |
| Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
| commit | 8f33d8d4f19bebcdba93d072bf34b93106612872 | |
| tree | 7c45f9d95dd9c4bbd731c190ccb0d1885f7268a6 | tree | snapshot |
| parent | 9019ffc759bcf2e3191c2bb59c34e40a838bbe2c | commit | diff |
| coq.spec | diff | blob | blame | history |