]>
author | Jakub Bogusz <qboosh@pld-linux.org> | |
Sat, 29 Jan 2022 15:03:56 +0000 (16:03 +0100) | ||
committer | Jakub Bogusz <qboosh@pld-linux.org> | |
Sat, 29 Jan 2022 15:03:56 +0000 (16:03 +0100) | ||
commit | e041a8de600b8e466f9a7148838fdbeb1ade537d | |
tree | f54cc8badd206d45d48042977feb807b7873d912 | tree | snapshot |
parent | 672cbc20ebffc4f61631aee96158d814bbeb829b | commit | diff |
coq.spec | diff | blob | blame | history |