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
|
# ChangeLog for dev-lang/polyml
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.10 2012/12/05 09:49:35 gienah Exp $
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
