projects / packages / coq.git / commit
| author | Jakub Bogusz <qboosh@pld-linux.org> | |
| Sat, 22 Jan 2022 19:35:24 +0000 (20:35 +0100) | ||
| committer | Jakub Bogusz <qboosh@pld-linux.org> | |
| Sat, 22 Jan 2022 19:35:24 +0000 (20:35 +0100) | ||
| commit | 10fd38a7b035fe4eaa1e0d17344bf2418fdf0642 | |
| tree | 88e5637cceb439d08f6b4492a2b3cd0e5549915b | tree | snapshot |
| parent | 0d680645e260b9f12eb8ea6b136d9deb98c8c5dd | commit | diff |
| coq.spec | diff | blob | blame | history |