projects / packages / coq.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Sat, 22 Jan 2022 08:53:26 +0000 (09:53 +0100) | ||
| committer | Jan Rękorajski <baggins@pld-linux.org> | |
| Sat, 22 Jan 2022 08:53:26 +0000 (09:53 +0100) | ||
| commit | 0d680645e260b9f12eb8ea6b136d9deb98c8c5dd | |
| tree | c2af373494b6d7d79987e6077bb04cc0f590de07 | tree | snapshot |
| parent | 78adac83326e782ab3c0fd7f231f95caadabaeb4 | commit | diff |
| coq.spec | diff | blob | blame | history |