projects / packages / why3.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Tue, 6 Jun 2017 17:22:17 +0000 (19:22 +0200) | ||
| committer | Jan Rękorajski <baggins@pld-linux.org> | |
| Tue, 6 Jun 2017 17:22:17 +0000 (19:22 +0200) | ||
| commit | 999402af6a7850fb1a5d2b845c16f866a9964ee5 | |
| tree | 3e88c780b64a1491717189815b7cbc739e21f01a | tree | snapshot |
| parent | ab647362c03e8fb935f9e19c5f0b780769fd412a | commit | diff |
| why3.spec | diff | blob | blame | history |