]>
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 |