]>
author | Jakub Bogusz <qboosh@pld-linux.org> | |
Sun, 28 Mar 2021 19:45:42 +0000 (21:45 +0200) | ||
committer | Jakub Bogusz <qboosh@pld-linux.org> | |
Sun, 28 Mar 2021 19:45:42 +0000 (21:45 +0200) | ||
commit | 39bb02639bdbc600e4f0b3b49cb7461e728fbbe2 | |
tree | 42eb2402e06e2f4d011ab9b84076ba5b39caf9ea | tree | snapshot |
parent | 3e0583a42c53935024c1d59a611048a9702a823d | commit | diff |
coq.spec | diff | blob | blame | history |