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