projects / packages / coq.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Tue, 14 Oct 2003 20:14:07 +0000 (20:14 +0000) | ||
| committer | cvs2git <feedback@pld-linux.org> | |
| Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
| commit | 521adcea7d88e23f3377c9f559468c3251d52f3f | |
| tree | 539614977fbf9131300e1f2433be63472b97d347 | tree | snapshot |
| parent | a47b241417b3c578f399f7fd5400ad9f90e3bec8 | commit | diff |
| coq.spec | diff | blob | blame | history |