]>
author | Jakub Bogusz <qboosh@pld-linux.org> | |
Sat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100) | ||
committer | Jakub Bogusz <qboosh@pld-linux.org> | |
Sat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100) | ||
commit | 7b6fb8ed08eabf02fff307aa963f4cf64f8da0ca | |
tree | 7401eb1d55f96aebe683e339507cd1fdab3d6be1 | tree | snapshot |
parent | e041a8de600b8e466f9a7148838fdbeb1ade537d | commit | diff |
coq.spec | diff | blob | blame | history |