]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 21 Mar 2016 14:32:37 +0000 (15:32 +0100) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 21 Mar 2016 14:32:37 +0000 (15:32 +0100) | ||
commit | 0e56eeba5b014349b78f5e146823c1d9e049c4e1 | |
tree | 2d9152657187f30d0f01be41a66761d0f5f9cf79 | tree | snapshot |
parent | 83437006a79c2edf5f50d392497a4a618a1334eb | commit | diff |
coq.spec | diff | blob | blame | history |