diff options
Diffstat (limited to 'devel/coq/HISTORY')
-rw-r--r-- | devel/coq/HISTORY | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY index 610651b55b..80d2c75282 100644 --- a/devel/coq/HISTORY +++ b/devel/coq/HISTORY @@ -1,7 +1,7 @@ 2019-08-19 Ismael Luceno <ismael@sourcemage.org> * DETAILS: updated spell to 8.9.1 -2018-11-18 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2018-11-18 Florian Franzmann <bwlf@bandrate.org> * DETAILS, DEPENDS, BUILD: version 8.8.2 2015-06-11 Ismael Luceno <ismael@sourcemage.org> @@ -9,16 +9,16 @@ * 0001-fix-make-detection.patch: removed, no longer needed * DETAILS: updated spell to 8.4pl6 -2014-02-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2014-02-02 Florian Franzmann <bwlf@bandrate.org> * PRE_BUILD, 0001-fix-make-detection.patch: fix detection of make in configure -2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2013-05-26 Florian Franzmann <bwlf@bandrate.org> * DEPENDS: added dependency on zarith -2012-09-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2012-09-09 Florian Franzmann <bwlf@bandrate.org> * DETAILS: version 8.4 -2012-03-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2012-03-02 Florian Franzmann <bwlf@bandrate.org> * BUILD, DEPENDS, DETAILS, PRE_BUILD: spell created |