]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 29 Mar 2021 20:47:40 +0000 (22:47 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 29 Mar 2021 20:47:55 +0000 (22:47 +0200) | ||
commit | d9dd4fa0efef27c0872a376a18c05a717dabe775 | |
tree | 365e70f081b598d1fec8aab5650ebb2c61687e27 | tree | snapshot |
parent | 21bfd7ee7edf6c80f323f4dce99112dd049b5876 | commit | diff |
why3.spec | diff | blob | blame | history |