]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 29 Mar 2021 06:48:08 +0000 (08:48 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 29 Mar 2021 06:48:08 +0000 (08:48 +0200) | ||
commit | 3809f5dfc68c51f316b94599708c8078b7c78fe8 | |
tree | f10b0260d5f19dcfabaedf0ef1823acf1eead7b7 | tree | snapshot |
parent | 39bb02639bdbc600e4f0b3b49cb7461e728fbbe2 | commit | diff |
coq.spec | diff | blob | blame | history |