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

2021-03-29	Jan Rękorajski	- filter out private deps	commit \| commitdiff \| tree
2021-03-29	Jan Rękorajski	- follow ocaml-zarith builds	commit \| commitdiff \| tree
2021-03-29	Jan Rękorajski	- up to 1.4.0	commit \| commitdiff \| tree
2017-06-06	Jan Rękorajski	- updated files	commit \| commitdiff \| tree
2017-06-06	Jan Rękorajski	- up to 0.87.3	commit \| commitdiff \| tree
2017-06-05	Jan Rękorajski	- rebuild with ocaml 4.04.1	commit \| commitdiff \| tree
2016-03-21	Jan Rękorajski	- release 5 (by relup.sh)	commit \| commitdiff \| tree
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.044317 seconds and 3 git commands to generate.