projects / packages / why3.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Mon, 29 Mar 2021 19:25:08 +0000 (21:25 +0200) | ||
| committer | Jan Rękorajski <baggins@pld-linux.org> | |
| Mon, 29 Mar 2021 19:25:08 +0000 (21:25 +0200) | ||
| commit | 21bfd7ee7edf6c80f323f4dce99112dd049b5876 | |
| tree | 7b00315e5204ace974c5c281e62860a53fa2e2eb | tree | snapshot |
| parent | 86ab24c978028bdbbfccb7052ecb9739f2f9e1ff | commit | diff |
| why3.spec | diff | blob | blame | history |