]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 5 Jun 2017 12:35:54 +0000 (14:35 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 5 Jun 2017 12:35:54 +0000 (14:35 +0200) | ||
commit | 1993b991f3f5a80b24e7144dd64beb40cedf9f90 | |
tree | fb4b1843fc488b8c36c5a5986e010ccdfc21ea48 | tree | snapshot |
parent | 0e56eeba5b014349b78f5e146823c1d9e049c4e1 | commit | diff |
coq.spec | diff | blob | blame | history |