]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Sun, 28 Mar 2021 16:52:50 +0000 (18:52 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Sun, 28 Mar 2021 16:52:50 +0000 (18:52 +0200) | ||
commit | b2cb8983182746588fc922b34f05c7ab2d285599 | |
tree | f9e4779277495cf93cc98b5e6d7e189d1a6ad83b | tree | snapshot |
parent | 6b871b2b1dfb5663da37fc48e10b4b7a6da74b56 | commit | diff |
coq-lablgtk2.patch | [deleted file] | blob | blame | history |
coq.spec | diff | blob | blame | history |