projects / packages / coq.git / commit
| 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 |