]>
author | Elan Ruusamäe <glen@pld-linux.org> | |
Mon, 12 Feb 2007 21:23:51 +0000 (21:23 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 374d5475e3bd1e9c5c6410f33db30cedb5ee2518 | |
tree | ded165c078d50653b38c16c1ce14bad5edefd7b0 | tree | snapshot |
parent | 3f4e388b0a272cc3813e56671955b7e427f28989 | commit | diff |
coq.spec | diff | blob | blame | history |