]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Sun, 21 Nov 2021 23:14:04 +0000 (00:14 +0100) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Sun, 21 Nov 2021 23:14:04 +0000 (00:14 +0100) | ||
commit | 78adac83326e782ab3c0fd7f231f95caadabaeb4 | |
tree | bf8c0bc377a4482160d0d5049f059b650ef72750 | tree | snapshot |
parent | 02bfb0da6f4ff9a07bb298d9bbf6b50140f4588c | commit | diff |
coq.spec | diff | blob | blame | history |