projects / packages / coq.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Wed, 6 Apr 2011 09:15:33 +0000 (09:15 +0000) | ||
| committer | cvs2git <feedback@pld-linux.org> | |
| Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
| commit | 72eff188e6812b6e9589a9d6b370664e39d42ab1 | |
| tree | 8fd478fe9c70329ac4a75f7f50317ebaeef9e5ac | tree | snapshot |
| parent | 89a33360f14bdcd211a478adc5feab85ca10a373 | commit | diff |
| coq.spec | diff | blob | blame | history |