]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Fri, 8 Apr 2011 11:56:40 +0000 (11:56 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 9019ffc759bcf2e3191c2bb59c34e40a838bbe2c | |
tree | 75c9a61ebe3d923dcb1d602ace56a72216633dc9 | tree | snapshot |
parent | 2dc4648591ad37775e247c5cc6ece905dc4044be | commit | diff |
coq.spec | diff | blob | blame | history |