* [gentoo-commits] gentoo-x86 commit in kde-base/kdesdk-kioslaves: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
@ 2010-06-30 15:36 Alexey Shvetsov (alexxy)
0 siblings, 0 replies; 5+ messages in thread
From: Alexey Shvetsov (alexxy) @ 2010-06-30 15:36 UTC (permalink / raw
To: gentoo-commits
alexxy 10/06/30 15:36:41
Modified: ChangeLog
Added: kdesdk-kioslaves-4.4.5.ebuild
Log:
[kde-base] Bump KDE SC 4.4.5 =)
(Portage version: 2.2_rc67_p182/cvs/Linux x86_64)
Revision Changes Path
1.152 kde-base/kdesdk-kioslaves/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.152&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.152&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?r1=1.151&r2=1.152
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v
retrieving revision 1.151
retrieving revision 1.152
diff -u -r1.151 -r1.152
--- ChangeLog 27 Jun 2010 18:38:30 -0000 1.151
+++ ChangeLog 30 Jun 2010 15:36:41 -0000 1.152
@@ -1,6 +1,12 @@
# ChangeLog for kde-base/kdesdk-kioslaves
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.151 2010/06/27 18:38:30 fauli Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.152 2010/06/30 15:36:41 alexxy Exp $
+
+*kdesdk-kioslaves-4.4.5 (30 Jun 2010)
+
+ 30 Jun 2010; Alexey Shvetsov <alexxy@gentoo.org>
+ +kdesdk-kioslaves-4.4.5.ebuild:
+ Version bump
27 Jun 2010; Christian Faulhammer <fauli@gentoo.org>
kdesdk-kioslaves-4.4.4.ebuild:
1.1 kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.1&content-type=text/plain
Index: kdesdk-kioslaves-4.4.5.ebuild
===================================================================
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.1 2010/06/30 15:36:41 alexxy Exp $
EAPI="3"
KMNAME="kdesdk"
KMMODULE="kioslave"
inherit kde4-meta
DESCRIPTION="kioslaves from kdesdk package"
KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux"
IUSE="debug subversion"
DEPEND="
subversion? (
dev-libs/apr
dev-vcs/subversion
)
"
RDEPEND="${DEPEND}
!kdeprefix? (
subversion? ( !>=dev-vcs/kdesvn-1.5.2:4 )
)
"
src_configure() {
mycmakeargs=(
-DAPRCONFIG_EXECUTABLE="${EPREFIX}"/usr/bin/apr-1-config
$(cmake-utils_use_with subversion SVN)
)
kde4-meta_src_configure
}
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in kde-base/kdesdk-kioslaves: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
@ 2010-08-03 7:43 Markos Chandras (hwoarang)
0 siblings, 0 replies; 5+ messages in thread
From: Markos Chandras (hwoarang) @ 2010-08-03 7:43 UTC (permalink / raw
To: gentoo-commits
hwoarang 10/08/03 07:43:01
Modified: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
Log:
Stable on amd64 wrt bug #322791
(Portage version: 2.2_rc67/cvs/Linux x86_64, RepoMan options: --force)
Revision Changes Path
1.2 kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?r1=1.1&r2=1.2
Index: kdesdk-kioslaves-4.4.5.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- kdesdk-kioslaves-4.4.5.ebuild 30 Jun 2010 15:36:41 -0000 1.1
+++ kdesdk-kioslaves-4.4.5.ebuild 3 Aug 2010 07:43:01 -0000 1.2
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.1 2010/06/30 15:36:41 alexxy Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.2 2010/08/03 07:43:01 hwoarang Exp $
EAPI="3"
@@ -9,7 +9,7 @@
inherit kde4-meta
DESCRIPTION="kioslaves from kdesdk package"
-KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="~alpha amd64 ~ia64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux"
IUSE="debug subversion"
DEPEND="
1.153 kde-base/kdesdk-kioslaves/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.153&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.153&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?r1=1.152&r2=1.153
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v
retrieving revision 1.152
retrieving revision 1.153
diff -u -r1.152 -r1.153
--- ChangeLog 30 Jun 2010 15:36:41 -0000 1.152
+++ ChangeLog 3 Aug 2010 07:43:01 -0000 1.153
@@ -1,6 +1,10 @@
# ChangeLog for kde-base/kdesdk-kioslaves
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.152 2010/06/30 15:36:41 alexxy Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.153 2010/08/03 07:43:01 hwoarang Exp $
+
+ 03 Aug 2010; Markos Chandras <hwoarang@gentoo.org>
+ kdesdk-kioslaves-4.4.5.ebuild:
+ Stable on amd64 wrt bug #322791
*kdesdk-kioslaves-4.4.5 (30 Jun 2010)
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in kde-base/kdesdk-kioslaves: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
@ 2010-08-09 3:23 Joseph Jezak (josejx)
0 siblings, 0 replies; 5+ messages in thread
From: Joseph Jezak (josejx) @ 2010-08-09 3:23 UTC (permalink / raw
To: gentoo-commits
josejx 10/08/09 03:23:43
Modified: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
Log:
Marked ppc stable for bug #322791.
(Portage version: 2.1.8.3/cvs/Linux x86_64)
Revision Changes Path
1.3 kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?r1=1.2&r2=1.3
Index: kdesdk-kioslaves-4.4.5.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- kdesdk-kioslaves-4.4.5.ebuild 3 Aug 2010 07:43:01 -0000 1.2
+++ kdesdk-kioslaves-4.4.5.ebuild 9 Aug 2010 03:23:43 -0000 1.3
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.2 2010/08/03 07:43:01 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.3 2010/08/09 03:23:43 josejx Exp $
EAPI="3"
@@ -9,7 +9,7 @@
inherit kde4-meta
DESCRIPTION="kioslaves from kdesdk package"
-KEYWORDS="~alpha amd64 ~ia64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="~alpha amd64 ~ia64 ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux"
IUSE="debug subversion"
DEPEND="
1.154 kde-base/kdesdk-kioslaves/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.154&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.154&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?r1=1.153&r2=1.154
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v
retrieving revision 1.153
retrieving revision 1.154
diff -u -r1.153 -r1.154
--- ChangeLog 3 Aug 2010 07:43:01 -0000 1.153
+++ ChangeLog 9 Aug 2010 03:23:43 -0000 1.154
@@ -1,6 +1,10 @@
# ChangeLog for kde-base/kdesdk-kioslaves
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.153 2010/08/03 07:43:01 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.154 2010/08/09 03:23:43 josejx Exp $
+
+ 09 Aug 2010; Joseph Jezak <josejx@gentoo.org>
+ kdesdk-kioslaves-4.4.5.ebuild:
+ Marked ppc stable for bug #322791.
03 Aug 2010; Markos Chandras <hwoarang@gentoo.org>
kdesdk-kioslaves-4.4.5.ebuild:
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in kde-base/kdesdk-kioslaves: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
@ 2010-08-09 7:26 Christian Faulhammer (fauli)
0 siblings, 0 replies; 5+ messages in thread
From: Christian Faulhammer (fauli) @ 2010-08-09 7:26 UTC (permalink / raw
To: gentoo-commits
fauli 10/08/09 07:26:25
Modified: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
Log:
x86 stable, bug 322791
(Portage version: 2.1.8.3/cvs/Linux i686, RepoMan options: --force)
Revision Changes Path
1.4 kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?r1=1.3&r2=1.4
Index: kdesdk-kioslaves-4.4.5.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- kdesdk-kioslaves-4.4.5.ebuild 9 Aug 2010 03:23:43 -0000 1.3
+++ kdesdk-kioslaves-4.4.5.ebuild 9 Aug 2010 07:26:25 -0000 1.4
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.3 2010/08/09 03:23:43 josejx Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.4 2010/08/09 07:26:25 fauli Exp $
EAPI="3"
@@ -9,7 +9,7 @@
inherit kde4-meta
DESCRIPTION="kioslaves from kdesdk package"
-KEYWORDS="~alpha amd64 ~ia64 ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="~alpha amd64 ~ia64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux"
IUSE="debug subversion"
DEPEND="
1.155 kde-base/kdesdk-kioslaves/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.155&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.155&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?r1=1.154&r2=1.155
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v
retrieving revision 1.154
retrieving revision 1.155
diff -u -r1.154 -r1.155
--- ChangeLog 9 Aug 2010 03:23:43 -0000 1.154
+++ ChangeLog 9 Aug 2010 07:26:25 -0000 1.155
@@ -1,6 +1,10 @@
# ChangeLog for kde-base/kdesdk-kioslaves
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.154 2010/08/09 03:23:43 josejx Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.155 2010/08/09 07:26:25 fauli Exp $
+
+ 09 Aug 2010; Christian Faulhammer <fauli@gentoo.org>
+ kdesdk-kioslaves-4.4.5.ebuild:
+ x86 stable, bug 322791
09 Aug 2010; Joseph Jezak <josejx@gentoo.org>
kdesdk-kioslaves-4.4.5.ebuild:
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in kde-base/kdesdk-kioslaves: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
@ 2010-08-09 17:34 Tomas Chvatal (scarabeus)
0 siblings, 0 replies; 5+ messages in thread
From: Tomas Chvatal (scarabeus) @ 2010-08-09 17:34 UTC (permalink / raw
To: gentoo-commits
scarabeus 10/08/09 17:34:24
Modified: kdesdk-kioslaves-4.4.5.ebuild ChangeLog
Log:
Drop alpha, ia64 and sparc keywords. as per AT lead permission.
(Portage version: 2.2_rc67/cvs/Linux x86_64, RepoMan options: --force)
Revision Changes Path
1.5 kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild?r1=1.4&r2=1.5
Index: kdesdk-kioslaves-4.4.5.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- kdesdk-kioslaves-4.4.5.ebuild 9 Aug 2010 07:26:25 -0000 1.4
+++ kdesdk-kioslaves-4.4.5.ebuild 9 Aug 2010 17:34:23 -0000 1.5
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.4 2010/08/09 07:26:25 fauli Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/kdesdk-kioslaves-4.4.5.ebuild,v 1.5 2010/08/09 17:34:23 scarabeus Exp $
EAPI="3"
@@ -9,7 +9,7 @@
inherit kde4-meta
DESCRIPTION="kioslaves from kdesdk package"
-KEYWORDS="~alpha amd64 ~ia64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux"
IUSE="debug subversion"
DEPEND="
1.157 kde-base/kdesdk-kioslaves/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.157&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?rev=1.157&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog?r1=1.156&r2=1.157
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v
retrieving revision 1.156
retrieving revision 1.157
diff -u -r1.156 -r1.157
--- ChangeLog 9 Aug 2010 11:30:52 -0000 1.156
+++ ChangeLog 9 Aug 2010 17:34:23 -0000 1.157
@@ -1,6 +1,10 @@
# ChangeLog for kde-base/kdesdk-kioslaves
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.156 2010/08/09 11:30:52 scarabeus Exp $
+# $Header: /var/cvsroot/gentoo-x86/kde-base/kdesdk-kioslaves/ChangeLog,v 1.157 2010/08/09 17:34:23 scarabeus Exp $
+
+ 09 Aug 2010; Tomáš Chvátal <scarabeus@gentoo.org>
+ kdesdk-kioslaves-4.4.5.ebuild:
+ Drop alpha ia64 and sparc per the AT Lead permission.
09 Aug 2010; Tomáš Chvátal <scarabeus@gentoo.org>
-kdesdk-kioslaves-4.3.5.ebuild, -kdesdk-kioslaves-4.4.4.ebuild:
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2010-08-09 17:35 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-06-30 15:36 [gentoo-commits] gentoo-x86 commit in kde-base/kdesdk-kioslaves: kdesdk-kioslaves-4.4.5.ebuild ChangeLog Alexey Shvetsov (alexxy)
-- strict thread matches above, loose matches on Subject: below --
2010-08-03 7:43 Markos Chandras (hwoarang)
2010-08-09 3:23 Joseph Jezak (josejx)
2010-08-09 7:26 Christian Faulhammer (fauli)
2010-08-09 17:34 Tomas Chvatal (scarabeus)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox