projects / packages / why3.git / commit
| author | Jan Rękorajski <baggins@pld-linux.org> | |
| Wed, 30 Apr 2014 17:53:04 +0000 (19:53 +0200) | ||
| committer | Jan Rękorajski <baggins@pld-linux.org> | |
| Wed, 30 Apr 2014 17:53:04 +0000 (19:53 +0200) | ||
| commit | b27c758f7f6be3a926183307fc0fdaf1ac457bff | |
| tree | dda552aed404bf8a35ad6feb54953cedea591209 | tree | snapshot |
| parent | 59fd71fc14f5216c612eac402f8a252060b92067 | commit | diff |
| why3.spec | diff | blob | blame | history |