* [gentoo-commits] gentoo-x86 commit in media-plugins/mediastreamer-silk: ChangeLog mediastreamer-silk-0.0.1.ebuild
@ 2012-12-17 17:33 Agostino Sarubbo (ago)
0 siblings, 0 replies; 5+ messages in thread
From: Agostino Sarubbo (ago) @ 2012-12-17 17:33 UTC (permalink / raw
To: gentoo-commits
ago 12/12/17 17:33:09
Modified: ChangeLog mediastreamer-silk-0.0.1.ebuild
Log:
Add ~ppc, wrt bug #443964
(Portage version: 2.1.11.31/cvs/Linux ppc64, unsigned Manifest commit)
Revision Changes Path
1.3 media-plugins/mediastreamer-silk/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?r1=1.2&r2=1.3
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ChangeLog 16 Dec 2012 14:57:16 -0000 1.2
+++ ChangeLog 17 Dec 2012 17:33:09 -0000 1.3
@@ -1,6 +1,10 @@
# ChangeLog for media-plugins/mediastreamer-silk
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.2 2012/12/16 14:57:16 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.3 2012/12/17 17:33:09 ago Exp $
+
+ 17 Dec 2012; Agostino Sarubbo <ago@gentoo.org>
+ mediastreamer-silk-0.0.1.ebuild:
+ Add ~ppc, wrt bug #443964
16 Dec 2012; Pacho Ramos <pacho@gentoo.org> metadata.xml:
Cleanup due retirement, #260683
1.2 media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?r1=1.1&r2=1.2
Index: mediastreamer-silk-0.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- mediastreamer-silk-0.0.1.ebuild 19 Nov 2012 21:30:49 -0000 1.1
+++ mediastreamer-silk-0.0.1.ebuild 17 Dec 2012 17:33:09 -0000 1.2
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.1 2012/11/19 21:30:49 mgorny Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.2 2012/12/17 17:33:09 ago Exp $
EAPI=4
@@ -16,7 +16,7 @@
LICENSE="GPL-3 as-is"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE="bindist"
RDEPEND=">=media-libs/mediastreamer-2.0.0"
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-plugins/mediastreamer-silk: ChangeLog mediastreamer-silk-0.0.1.ebuild
@ 2012-12-17 17:34 Agostino Sarubbo (ago)
0 siblings, 0 replies; 5+ messages in thread
From: Agostino Sarubbo (ago) @ 2012-12-17 17:34 UTC (permalink / raw
To: gentoo-commits
ago 12/12/17 17:34:36
Modified: ChangeLog mediastreamer-silk-0.0.1.ebuild
Log:
Add ~ppc64, wrt bug #443964
(Portage version: 2.1.11.31/cvs/Linux ppc64, unsigned Manifest commit)
Revision Changes Path
1.4 media-plugins/mediastreamer-silk/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?r1=1.3&r2=1.4
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- ChangeLog 17 Dec 2012 17:33:09 -0000 1.3
+++ ChangeLog 17 Dec 2012 17:34:36 -0000 1.4
@@ -1,6 +1,10 @@
# ChangeLog for media-plugins/mediastreamer-silk
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.3 2012/12/17 17:33:09 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.4 2012/12/17 17:34:36 ago Exp $
+
+ 17 Dec 2012; Agostino Sarubbo <ago@gentoo.org>
+ mediastreamer-silk-0.0.1.ebuild:
+ Add ~ppc64, wrt bug #443964
17 Dec 2012; Agostino Sarubbo <ago@gentoo.org>
mediastreamer-silk-0.0.1.ebuild:
1.3 media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?r1=1.2&r2=1.3
Index: mediastreamer-silk-0.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- mediastreamer-silk-0.0.1.ebuild 17 Dec 2012 17:33:09 -0000 1.2
+++ mediastreamer-silk-0.0.1.ebuild 17 Dec 2012 17:34:36 -0000 1.3
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.2 2012/12/17 17:33:09 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.3 2012/12/17 17:34:36 ago Exp $
EAPI=4
@@ -16,7 +16,7 @@
LICENSE="GPL-3 as-is"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~ppc ~ppc64 ~x86"
IUSE="bindist"
RDEPEND=">=media-libs/mediastreamer-2.0.0"
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-plugins/mediastreamer-silk: ChangeLog mediastreamer-silk-0.0.1.ebuild
@ 2013-01-19 10:49 Ulrich Mueller (ulm)
0 siblings, 0 replies; 5+ messages in thread
From: Ulrich Mueller (ulm) @ 2013-01-19 10:49 UTC (permalink / raw
To: gentoo-commits
ulm 13/01/19 10:49:33
Modified: ChangeLog mediastreamer-silk-0.0.1.ebuild
Log:
Fix LICENSE, bug 416205.
(Portage version: 2.1.11.43/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
Revision Changes Path
1.5 media-plugins/mediastreamer-silk/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?r1=1.4&r2=1.5
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- ChangeLog 17 Dec 2012 17:34:36 -0000 1.4
+++ ChangeLog 19 Jan 2013 10:49:33 -0000 1.5
@@ -1,6 +1,9 @@
# ChangeLog for media-plugins/mediastreamer-silk
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.4 2012/12/17 17:34:36 ago Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.5 2013/01/19 10:49:33 ulm Exp $
+
+ 19 Jan 2013; Ulrich Müller <ulm@gentoo.org> mediastreamer-silk-0.0.1.ebuild:
+ Fix LICENSE, bug 416205.
17 Dec 2012; Agostino Sarubbo <ago@gentoo.org>
mediastreamer-silk-0.0.1.ebuild:
1.4 media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?r1=1.3&r2=1.4
Index: mediastreamer-silk-0.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- mediastreamer-silk-0.0.1.ebuild 17 Dec 2012 17:34:36 -0000 1.3
+++ mediastreamer-silk-0.0.1.ebuild 19 Jan 2013 10:49:33 -0000 1.4
@@ -1,6 +1,6 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.3 2012/12/17 17:34:36 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.4 2013/01/19 10:49:33 ulm Exp $
EAPI=4
@@ -14,7 +14,7 @@
SRC_URI="mirror://nongnu/linphone/plugins/sources/${MY_PN}-${PV}.tar.gz
http://developer.skype.com/silk/${SDK_FILE}"
-LICENSE="GPL-3 as-is"
+LICENSE="GPL-2+ Clear-BSD SILK-patent-license"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~ppc64 ~x86"
IUSE="bindist"
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-plugins/mediastreamer-silk: ChangeLog mediastreamer-silk-0.0.1.ebuild
@ 2015-02-27 4:24 Andrew Savchenko (bircoph)
0 siblings, 0 replies; 5+ messages in thread
From: Andrew Savchenko (bircoph) @ 2015-02-27 4:24 UTC (permalink / raw
To: gentoo-commits
bircoph 15/02/27 04:24:39
Modified: ChangeLog mediastreamer-silk-0.0.1.ebuild
Log:
Fix bindist implementation, wrt bug 541464.
Signed-off-by: Andrew Savchenko <bircoph@gentoo.org>
(Portage version: 2.2.17/cvs/Linux i686, signed Manifest commit with key 565953B95372756C)
Revision Changes Path
1.15 media-plugins/mediastreamer-silk/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.15&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.15&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?r1=1.14&r2=1.15
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- ChangeLog 12 Nov 2014 14:19:46 -0000 1.14
+++ ChangeLog 27 Feb 2015 04:24:39 -0000 1.15
@@ -1,6 +1,10 @@
# ChangeLog for media-plugins/mediastreamer-silk
-# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.14 2014/11/12 14:19:46 bircoph Exp $
+# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.15 2015/02/27 04:24:39 bircoph Exp $
+
+ 27 Feb 2015; Andrew Savchenko <bircoph@gentoo.org>
+ mediastreamer-silk-0.0.1.ebuild:
+ Fix bindist implementation, wrt bug 541464.
12 Nov 2014; Andrew Savchenko <bircoph@gentoo.org> metadata.xml:
Package is now directly maintained instead of proxy-maintaining.
1.11 media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.11&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.11&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?r1=1.10&r2=1.11
Index: mediastreamer-silk-0.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -r1.10 -r1.11
--- mediastreamer-silk-0.0.1.ebuild 10 Oct 2013 10:41:18 -0000 1.10
+++ mediastreamer-silk-0.0.1.ebuild 27 Feb 2015 04:24:39 -0000 1.11
@@ -1,6 +1,6 @@
-# Copyright 1999-2013 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.10 2013/10/10 10:41:18 hasufell Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.11 2015/02/27 04:24:39 bircoph Exp $
EAPI=5
@@ -25,13 +25,7 @@
S="${WORKDIR}/${MY_PN}"
-RESTRICT="mirror" # silk license forbids distribution
-
-pkg_setup() {
- if use bindist; then
- die "This package can't be redistributable due to SILK license."
- fi
-}
+RESTRICT="bindist mirror" # silk license forbids distribution
src_prepare() {
epatch "${FILESDIR}/${P}-sdk.patch"
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-plugins/mediastreamer-silk: ChangeLog mediastreamer-silk-0.0.1.ebuild
@ 2015-02-27 4:29 Andrew Savchenko (bircoph)
0 siblings, 0 replies; 5+ messages in thread
From: Andrew Savchenko (bircoph) @ 2015-02-27 4:29 UTC (permalink / raw
To: gentoo-commits
bircoph 15/02/27 04:29:18
Modified: ChangeLog mediastreamer-silk-0.0.1.ebuild
Log:
Remove bindist from IUSE as well.
Signed-off-by: Andrew Savchenko <bircoph@gentoo.org>
(Portage version: 2.2.17/cvs/Linux i686, signed Manifest commit with key 565953B95372756C)
Revision Changes Path
1.16 media-plugins/mediastreamer-silk/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.16&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?rev=1.16&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog?r1=1.15&r2=1.16
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -r1.15 -r1.16
--- ChangeLog 27 Feb 2015 04:24:39 -0000 1.15
+++ ChangeLog 27 Feb 2015 04:29:18 -0000 1.16
@@ -1,6 +1,10 @@
# ChangeLog for media-plugins/mediastreamer-silk
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.15 2015/02/27 04:24:39 bircoph Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/ChangeLog,v 1.16 2015/02/27 04:29:18 bircoph Exp $
+
+ 27 Feb 2015; Andrew Savchenko <bircoph@gentoo.org>
+ mediastreamer-silk-0.0.1.ebuild:
+ Remove bindist from IUSE as well.
27 Feb 2015; Andrew Savchenko <bircoph@gentoo.org>
mediastreamer-silk-0.0.1.ebuild:
1.12 media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.12&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?rev=1.12&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild?r1=1.11&r2=1.12
Index: mediastreamer-silk-0.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
--- mediastreamer-silk-0.0.1.ebuild 27 Feb 2015 04:24:39 -0000 1.11
+++ mediastreamer-silk-0.0.1.ebuild 27 Feb 2015 04:29:18 -0000 1.12
@@ -1,6 +1,6 @@
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.11 2015/02/27 04:24:39 bircoph Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-plugins/mediastreamer-silk/mediastreamer-silk-0.0.1.ebuild,v 1.12 2015/02/27 04:29:18 bircoph Exp $
EAPI=5
@@ -17,7 +17,6 @@
LICENSE="GPL-2+ Clear-BSD SILK-patent-license"
SLOT="0"
KEYWORDS="amd64 ppc ppc64 x86"
-IUSE="bindist"
RDEPEND=">=media-libs/mediastreamer-2.8.2:="
DEPEND="${RDEPEND}
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2015-02-27 4:29 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-02-27 4:29 [gentoo-commits] gentoo-x86 commit in media-plugins/mediastreamer-silk: ChangeLog mediastreamer-silk-0.0.1.ebuild Andrew Savchenko (bircoph)
-- strict thread matches above, loose matches on Subject: below --
2015-02-27 4:24 Andrew Savchenko (bircoph)
2013-01-19 10:49 Ulrich Mueller (ulm)
2012-12-17 17:34 Agostino Sarubbo (ago)
2012-12-17 17:33 Agostino Sarubbo (ago)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox