]>
author | Jakub Bogusz <qboosh@pld-linux.org> | |
Sat, 29 Jan 2022 14:49:51 +0000 (15:49 +0100) | ||
committer | Jakub Bogusz <qboosh@pld-linux.org> | |
Sat, 29 Jan 2022 14:49:51 +0000 (15:49 +0100) | ||
commit | 672cbc20ebffc4f61631aee96158d814bbeb829b | |
tree | 2804830fcd0865685c044fdbdaf862fd65950bd3 | tree | snapshot |
parent | 10fd38a7b035fe4eaa1e0d17344bf2418fdf0642 | commit | diff |
coq-dune-prefix.patch | [new file with mode: 0644] | blob |
coq.spec | diff | blob | blame | history |