blob: 87cfc132e89803dc006419eeed69dfb2fa7bc6c1 (
plain)
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
|
# ChangeLog for dev-java/sat4j-pseudo
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog,v 1.12 2011/12/27 10:33:38 fordfrog Exp $
27 Dec 2011; Miroslav Šulc <fordfrog@gentoo.org> sat4j-pseudo-2.3.1.ebuild:
Fixed dependency slot and slotted to 2.3
*sat4j-pseudo-2.3.1 (25 Dec 2011)
25 Dec 2011; Miroslav Šulc <fordfrog@gentoo.org> +sat4j-pseudo-2.3.1.ebuild:
Version bump in new slot
17 Oct 2010; Vlastimil Babka <caster@gentoo.org> -sat4j-pseudo-2.1.ebuild,
-sat4j-pseudo-2.1.1.ebuild:
Remove old.
21 Sep 2010; Markos Chandras <hwoarang@gentoo.org>
sat4j-pseudo-2.2.0.ebuild:
Stable on amd64 wrt bug #337040
14 Sep 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
sat4j-pseudo-2.2.0.ebuild:
x86 stable wrt bug #337040
*sat4j-pseudo-2.2.0 (13 Aug 2010)
13 Aug 2010; Alistair Bush <ali_bush@gentoo.org>
+sat4j-pseudo-2.2.0.ebuild:
Version Bump. Thanks to Matt Whitlock <matt@whitlock.name>
25 Jun 2010; Christoph Mende <angelos@gentoo.org>
sat4j-pseudo-2.1.1.ebuild:
Stable on amd64 wrt bug #318541
29 May 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
sat4j-pseudo-2.1.1.ebuild:
x86 stable wrt bug #318541
13 Apr 2010; Christian Faulhammer <fauli@gentoo.org>
sat4j-pseudo-2.1.ebuild:
stable x86, bug 310181
*sat4j-pseudo-2.1.1 (05 Apr 2010)
05 Apr 2010; Alistair Bush <ali_bush@gentoo.org>
+sat4j-pseudo-2.1.1.ebuild:
Version Bump
20 Mar 2010; Pacho Ramos <pacho@gentoo.org> sat4j-pseudo-2.1.ebuild:
amd64 stable, bug 310181
09 Dec 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-pseudo-2.1.ebuild,
+metadata.xml:
Move into main tree to await the arrival of eclipse-sdk 3.5.
*sat4j-pseudo-2.1 (03 Nov 2009)
03 Nov 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-pseudo-2.1.ebuild,
+metadata.xml:
New Ebuild based on the work done by Matt Whitlock <matt@whitlock.name>
|