]>
author | Jakub Bogusz <qboosh@pld-linux.org> | |
Tue, 21 Oct 2003 18:49:38 +0000 (18:49 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 3432574d8bd38ffdead9e33f0fd872d2e0a52183 | |
tree | 99e5cdccf8eb2b1914880d1b1ab9a32ecbd6c6c1 | tree | snapshot |
parent | 521adcea7d88e23f3377c9f559468c3251d52f3f | commit | diff |
coq.spec | diff | blob | blame | history |