projects / packages / coq.git / commit
| author | paladine <paladine@pld-linux.org> | |
| Wed, 10 Nov 2004 13:47:03 +0000 (13:47 +0000) | ||
| committer | cvs2git <feedback@pld-linux.org> | |
| Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
| commit | bcd661076b586d18a671214b8e9339b2d202dda4 | |
| tree | 6fd7226c3b81e38377a5c34b7aa5d7fd0a1d13dc | tree | snapshot |
| parent | 3432574d8bd38ffdead9e33f0fd872d2e0a52183 | commit | diff |
| coq.spec | diff | blob | blame | history |