]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Fri, 8 Apr 2011 16:51:50 +0000 (16:51 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 8f33d8d4f19bebcdba93d072bf34b93106612872 | |
tree | 7c45f9d95dd9c4bbd731c190ccb0d1885f7268a6 | tree | snapshot |
parent | 9019ffc759bcf2e3191c2bb59c34e40a838bbe2c | commit | diff |
coq.spec | diff | blob | blame | history |