summaryrefslogtreecommitdiffstats
path: root/devel/coq/HISTORY
diff options
context:
space:
mode:
Diffstat (limited to 'devel/coq/HISTORY')
-rw-r--r--devel/coq/HISTORY10
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