projects / packages / coq.git / commit
| author | aredridel <aredridel@pld-linux.org> | |
| Sun, 24 Jul 2005 19:54:38 +0000 (19:54 +0000) | ||
| committer | cvs2git <feedback@pld-linux.org> | |
| Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
| commit | 54bf5b31fd0a50d32e839678a7da58db7eda5015 | |
| tree | c61ae92fab55672e2dc7617682341d96f0f135a4 | tree | snapshot |
| parent | bcd661076b586d18a671214b8e9339b2d202dda4 | commit | diff |
| coq.spec | diff | blob | blame | history |