]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Sat, 20 Nov 2021 21:36:44 +0000 (22:36 +0100) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Sat, 20 Nov 2021 21:36:44 +0000 (22:36 +0100) | ||
commit | 02bfb0da6f4ff9a07bb298d9bbf6b50140f4588c | |
tree | ceaea1a96f5ebb6dd82fae79cadf3d4ca3e58e47 | tree | snapshot |
parent | 3809f5dfc68c51f316b94599708c8078b7c78fe8 | commit | diff |
coq.spec | diff | blob | blame | history |