1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
# ChangeLog for dev-lang/polyml
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.11 2014/02/11 14:35:09 gienah Exp $
*polyml-5.5.1 (11 Feb 2014)
11 Feb 2014; Mark Wright <gienah@gentoo.org>
+files/polyml-5.5.1-inputN-return-for-zero-chars.patch,
+files/polyml-5.5.1-mprotect-exec.patch,
+files/polyml-5.5.1-optimize-closure.patch, +polyml-5.5.1.ebuild:
Bump polyml to 5.5.1. Fix bug 453146 - dev-lang/polyml-5.5.0: fails to build
(pax kernel?) by paxmark m poly and polyimport.
05 Dec 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild,
polyml-5.5.0.ebuild:
Fix bug 443452 dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi.
EAPI=5 with subslot depends for polyml 5.4.1 and 5.5.0 to automatically
rebuild EAPI=5 dependent packages using subslot depends such as sci-
mathematics/isabelle
24 Oct 2012; Ulrich Müller <ulm@gentoo.org> polyml-5.4.1.ebuild,
polyml-5.5.0.ebuild:
Update dependency after package move from x11-libs/openmotif to
x11-libs/motif.
*polyml-5.5.0 (20 Sep 2012)
20 Sep 2012; Mark Wright <gienah@gentoo.org> +files/polyml-5.5.0-asm.patch,
+files/polyml-5.5.0-configure.patch, +files/polyml-5.5.0-x-it-basis.patch,
+polyml-5.5.0.ebuild:
Bump polyml to 5.5.0 (also called 5.5, the tarball calls it 5.5, poly -v says
it is 5.5.0)
19 Sep 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild:
Thanks to Richard Yao for the fix to bug #398841 and #395009
09 Jan 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild,
+files/polyml-5.4.1-configure.patch:
Fix upstream bug: --without-portable was equivalent to --with-portable. Add
tests.
08 Jan 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild:
Thanks to few_ and xarthisius for reviewing, remove econf repetition, - on
use flag, src_compile and src_install were just like defaults
*polyml-5.4.1 (08 Jan 2012)
08 Jan 2012; Mark Wright <gienah@gentoo.org> +polyml-5.4.1.ebuild,
+files/polyml-5.4.1-asm.patch, metadata.xml:
Bump to 5.4.1 fixes bug #296797 thanks Mr. Anderson and René 'Necoro'
Neumann. Fix executable stacks in 2 of 3 files bug #256679 by Mr. Anderson.
Add portable use flag.
11 Jan 2009; Markus Meier <maekke@gentoo.org> polyml-5.2.1.ebuild:
add ~x86, bug #254097
*polyml-5.2.1 (30 Dec 2008)
30 Dec 2008; Marijn Schouten <hkBst@gentoo.org> +metadata.xml,
+polyml-5.2.1.ebuild:
Initial entry (bug 35548) thanks to Paulo Jorge de Oliveira Cantante de
Matos <pocmatos@gmail.com>, Martin von Gagern <Martin.vGagern@gmx.net> and
Unknown <chkno@chkno.net>
|
GitWeb
