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