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

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

2017-06-06	Jan Rękorajski	- up to 0.87.3	commit \| commitdiff \| tree \| snapshot
2017-06-05	Jan Rękorajski	- rebuild with ocaml 4.04.1 auto/th/why3-0.83-6	commit \| commitdiff \| tree \| snapshot
2016-03-21	Jan Rękorajski	- release 5 (by relup.sh) auto/th/why3-0.83-5	commit \| commitdiff \| tree \| snapshot
2015-07-26	Jan Rękorajski	- release 4 (by relup.sh) auto/th/why3-0.83-4	commit \| commitdiff \| tree \| snapshot
2014-11-16	Jan Rękorajski	- rebuild with ocaml 4.02 auto/th/why3-0.83-3	commit \| commitdiff \| tree \| snapshot
2014-05-06	Jan Rękorajski	- fixed scripts permissions auto/th/why3-0.83-2	commit \| commitdiff \| tree \| snapshot
2014-04-30	Jan Rękorajski	- updated to 0.83 auto/th/why3-0.83-1	commit \| commitdiff \| tree \| snapshot
2013-05-16	Jan Rękorajski	- package examples auto/th/why3-0.73-2	commit \| commitdiff \| tree \| snapshot
2013-05-14	Jan Rękorajski	- drop (x)emacs BRs auto/th/why3-0.73-1	commit \| commitdiff \| tree \| snapshot
2013-05-14	Jan Rękorajski	- updated BRs	commit \| commitdiff \| tree \| snapshot
2013-05-14	Jan Rękorajski	- new	commit \| commitdiff \| tree \| snapshot

Software verification platform

This page took 0.065931 seconds and 4 git commands to generate.