git.pld-linux.org Git - packages/why3.git/search

]> git.pld-linux.org Git - packages/why3.git/search

projects / packages / why3.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2015-07-26	Jan Rękorajski	- release 4 (by relup.sh)	commit \| commitdiff \| tree
2014-11-16	Jan Rękorajski	- rebuild with ocaml 4.02	commit \| commitdiff \| tree
2014-05-06	Jan Rękorajski	- fixed scripts permissions	commit \| commitdiff \| tree
2014-04-30	Jan Rękorajski	- updated to 0.83	commit \| commitdiff \| tree
2013-05-16	Jan Rękorajski	- package examples	commit \| commitdiff \| tree
2013-05-14	Jan Rękorajski	- drop (x)emacs BRs	commit \| commitdiff \| tree
2013-05-14	Jan Rękorajski	- updated BRs	commit \| commitdiff \| tree
2013-05-14	Jan Rękorajski	- new	commit \| commitdiff \| tree

Software verification platform

This page took 0.1097 seconds and 3 git commands to generate.