]> git.pld-linux.org Git - packages/why3.git/commit
projects / packages / why3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c69f443) | patch
- up to 0.87.3
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 6 Jun 2017 07:21:32 +0000 (09:21 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Tue, 6 Jun 2017 07:21:32 +0000 (09:21 +0200)
commitab647362c03e8fb935f9e19c5f0b780769fd412a
treeef2ef621662887d7087d666b6c05084da0bf6f83tree | snapshot
parentc69f4439fc8ef18df8da06d71b7044e4a1c0aff3commit | diff
- up to 0.87.3
why3.spec diff | blob | blame | history
Software verification platform
This page took 0.06398 seconds and 4 git commands to generate.