projects / packages / why3.git / commit
| 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 |