]> git.pld-linux.org Git - packages/why3.git/commit
projects / packages / why3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14e3667) | patch
- rebuild with ocaml 4.02 auto/th/why3-0.83-3
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 16 Nov 2014 08:14:02 +0000 (09:14 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 16 Nov 2014 08:14:02 +0000 (09:14 +0100)
commit1bf0371e26f5bd1de5eb97f7f3fa939e5084f33e
tree19d92ba56fa2f6494ca91cbf379ed2fcae88742ftree | snapshot
parent14e36670adde4af09ea0d13121691f50a63de42dcommit | diff
- rebuild with ocaml 4.02
- release 3 (by relup.sh)
why3.spec diff | blob | blame | history
Software verification platform
This page took 0.029389 seconds and 4 git commands to generate.