diff options
Diffstat (limited to 'devel/coq/HISTORY')
| -rw-r--r-- | devel/coq/HISTORY | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY index a5a9fff8f1..80ce31c254 100644 --- a/devel/coq/HISTORY +++ b/devel/coq/HISTORY @@ -1,3 +1,10 @@ +2014-02-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * PRE_BUILD, 0001-fix-make-detection.patch: fix detection of + make in configure + +2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DEPENDS: added dependency on zarith + 2012-09-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 8.4 |