]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 14 May 2013 11:35:41 +0000 (13:35 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 14 May 2013 11:35:41 +0000 (13:35 +0200) | ||
commit | 56491d8d367a9122870700a095188ce85bc1f977 | |
tree | c24e329ee34cea91e5c5deca25aacbb5c6fa7b8c | tree | snapshot |
why3.spec | [new file with mode: 0644] | blob |