]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Wed, 6 Apr 2011 09:15:33 +0000 (09:15 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 72eff188e6812b6e9589a9d6b370664e39d42ab1 | |
tree | 8fd478fe9c70329ac4a75f7f50317ebaeef9e5ac | tree | snapshot |
parent | 89a33360f14bdcd211a478adc5feab85ca10a373 | commit | diff |
coq.spec | diff | blob | blame | history |