projects / packages / coq.git / commit
| 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 |