diff options
Diffstat (limited to 'devel/frama-c/HISTORY')
| -rw-r--r-- | devel/frama-c/HISTORY | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/frama-c/HISTORY b/devel/frama-c/HISTORY index 64d09fa69a..4c5c49fa59 100644 --- a/devel/frama-c/HISTORY +++ b/devel/frama-c/HISTORY @@ -1,7 +1,7 @@ -2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2013-05-26 Florian Franzmann <bwlf@bandrate.org> * DETAILS: version Fluorine-20130501 * DEPENDS: added dependencies on coq, zarith, ltl2ba -2012-02-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2012-02-09 Florian Franzmann <bwlf@bandrate.org> * DEPENDS, DETAILS: spell created |