diff options
| author |   Mark Wright <gienah@gentoo.org> | 2014-01-15 08:13:28 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2014-01-15 08:13:28 +0000 |
| commit | a6c60b6ac0bc35503ed4180895044fd558cb8112 (patch) | |
| tree | 8d09acd2341c3059758862838e81c1f50f9e74ad /dev-lang/mlton/ChangeLog | |
| parent | Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI... (diff) | |
| download | gentoo-2-a6c60b6ac0bc35503ed4180895044fd558cb8112.tar.gz gentoo-2-a6c60b6ac0bc35503ed4180895044fd558cb8112.tar.bz2 gentoo-2-a6c60b6ac0bc35503ed4180895044fd558cb8112.zip | |
Bump to mlton-20130715, fixes bug 480750. Thanks to David Brown, jer and Jason Mours for testing and suggestions.
(Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'dev-lang/mlton/ChangeLog')
| -rw-r--r-- | dev-lang/mlton/ChangeLog | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/dev-lang/mlton/ChangeLog b/dev-lang/mlton/ChangeLog index 45f6803eba61..01f1df5c5936 100644 --- a/dev-lang/mlton/ChangeLog +++ b/dev-lang/mlton/ChangeLog @@ -1,6 +1,14 @@ # ChangeLog for dev-lang/mlton -# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/ChangeLog,v 1.14 2013/04/25 07:27:21 gienah Exp $ +# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/ChangeLog,v 1.15 2014/01/15 08:13:28 gienah Exp $ + +*mlton-20130715 (15 Jan 2014) + + 15 Jan 2014; Mark Wright <gienah@gentoo.org> + +files/mlton-20070826-no-execmem.patch, +files/mlton-20130715-no-PIE.patch, + +files/mlton-20130715-split-make-for-pax-mark.patch, +mlton-20130715.ebuild: + Bump to mlton-20130715, fixes bug 480750. Thanks to David Brown, jer and Jason + Mours for testing and suggestions. 25 Apr 2013; Mark Wright <gienah@gentoo.org> +files/mlton-20100608-gmp-const.patch, mlton-20100608.ebuild: |