diff options
Diffstat (limited to 'devel/why3/HISTORY')
-rw-r--r-- | devel/why3/HISTORY | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/devel/why3/HISTORY b/devel/why3/HISTORY index f65e2e0bda..4500a240d5 100644 --- a/devel/why3/HISTORY +++ b/devel/why3/HISTORY @@ -1,12 +1,12 @@ -2013-06-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2013-06-02 Florian Franzmann <bwlf@bandrate.org> * INSTALL: use make_single in INSTALL -2013-05-31 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2013-05-31 Florian Franzmann <bwlf@bandrate.org> * DETAILS: version 0.81 -2013-05-30 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2013-05-30 Florian Franzmann <bwlf@bandrate.org> * DEPENDS: added optional dependency on sqlite3-ocaml -2013-01-20 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2013-01-20 Florian Franzmann <bwlf@bandrate.org> * BUILD, DEPENDS, DETAILS: spell created |