]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 29 Mar 2021 19:23:24 +0000 (21:23 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 29 Mar 2021 19:23:24 +0000 (21:23 +0200) | ||
commit | 86ab24c978028bdbbfccb7052ecb9739f2f9e1ff | |
tree | b224a465db0cd4e99ea334b7f03efc532671a8bd | tree | snapshot |
parent | 999402af6a7850fb1a5d2b845c16f866a9964ee5 | commit | diff |
why3.spec | diff | blob | blame | history |