* [gentoo-commits] gentoo-x86 commit in media-libs/libdvdcss: libdvdcss-1.3.0.ebuild ChangeLog
@ 2014-08-05 9:12 Lars Wendler (polynomial-c)
0 siblings, 0 replies; 5+ messages in thread
From: Lars Wendler (polynomial-c) @ 2014-08-05 9:12 UTC (permalink / raw
To: gentoo-commits
polynomial-c 14/08/05 09:12:56
Modified: ChangeLog
Added: libdvdcss-1.3.0.ebuild
Log:
Version bump
(Portage version: 2.2.11-r1/cvs/Linux x86_64, signed Manifest commit with key 0x981CA6FC)
Revision Changes Path
1.130 media-libs/libdvdcss/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.130&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.130&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?r1=1.129&r2=1.130
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v
retrieving revision 1.129
retrieving revision 1.130
diff -u -r1.129 -r1.130
--- ChangeLog 26 Jan 2014 12:14:41 -0000 1.129
+++ ChangeLog 5 Aug 2014 09:12:56 -0000 1.130
@@ -1,6 +1,11 @@
# ChangeLog for media-libs/libdvdcss
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.129 2014/01/26 12:14:41 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.130 2014/08/05 09:12:56 polynomial-c Exp $
+
+*libdvdcss-1.3.0 (05 Aug 2014)
+
+ 05 Aug 2014; Lars Wendler <polynomial-c@gentoo.org> +libdvdcss-1.3.0.ebuild:
+ Version bump.
26 Jan 2014; Agostino Sarubbo <ago@gentoo.org> libdvdcss-1.2.13-r1.ebuild:
Stable for sparc, wrt bug #495728
1.1 media-libs/libdvdcss/libdvdcss-1.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.1&content-type=text/plain
Index: libdvdcss-1.3.0.ebuild
===================================================================
# Copyright 1999-2014 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.1 2014/08/05 09:12:56 polynomial-c Exp $
EAPI=5
inherit autotools-multilib
DESCRIPTION="A portable abstraction library for DVD decryption"
HOMEPAGE="http://www.videolan.org/developers/libdvdcss.html"
SRC_URI="http://www.videolan.org/pub/${PN}/${PV}/${P}.tar.bz2"
LICENSE="GPL-2"
SLOT="1.2"
KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
IUSE="doc static-libs"
RDEPEND=""
DEPEND="${RDEPEND}
doc? ( app-doc/doxygen )"
#DOCS=( AUTHORS ChangeLog NEWS README )
src_configure() {
local myeconfargs=(
$(use_enable doc)
--htmldir=/usr/share/doc/${PF}/html
)
autotools-multilib_src_configure
}
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-libs/libdvdcss: libdvdcss-1.3.0.ebuild ChangeLog
@ 2015-06-11 15:06 Agostino Sarubbo (ago)
0 siblings, 0 replies; 5+ messages in thread
From: Agostino Sarubbo (ago) @ 2015-06-11 15:06 UTC (permalink / raw
To: gentoo-commits
ago 15/06/11 15:06:46
Modified: libdvdcss-1.3.0.ebuild ChangeLog
Log:
Stable for amd64, wrt bug #535458
(Portage version: 2.2.18/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
Revision Changes Path
1.3 media-libs/libdvdcss/libdvdcss-1.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?r1=1.2&r2=1.3
Index: libdvdcss-1.3.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- libdvdcss-1.3.0.ebuild 9 Jun 2015 18:35:05 -0000 1.2
+++ libdvdcss-1.3.0.ebuild 11 Jun 2015 15:06:46 -0000 1.3
@@ -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-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.2 2015/06/09 18:35:05 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.3 2015/06/11 15:06:46 ago Exp $
EAPI=5
@@ -12,7 +12,7 @@
LICENSE="GPL-2"
SLOT="1.2"
-KEYWORDS="~alpha ~amd64 arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
IUSE="doc static-libs"
RDEPEND=""
1.134 media-libs/libdvdcss/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.134&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.134&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?r1=1.133&r2=1.134
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v
retrieving revision 1.133
retrieving revision 1.134
diff -u -r1.133 -r1.134
--- ChangeLog 9 Jun 2015 18:35:05 -0000 1.133
+++ ChangeLog 11 Jun 2015 15:06:46 -0000 1.134
@@ -1,6 +1,9 @@
# ChangeLog for media-libs/libdvdcss
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.133 2015/06/09 18:35:05 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.134 2015/06/11 15:06:46 ago Exp $
+
+ 11 Jun 2015; Agostino Sarubbo <ago@gentoo.org> libdvdcss-1.3.0.ebuild:
+ Stable for amd64, wrt bug #535458
09 Jun 2015; Markus Meier <maekke@gentoo.org> libdvdcss-1.3.0.ebuild:
arm stable, bug #535458
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-libs/libdvdcss: libdvdcss-1.3.0.ebuild ChangeLog
@ 2015-06-26 8:48 Agostino Sarubbo (ago)
0 siblings, 0 replies; 5+ messages in thread
From: Agostino Sarubbo (ago) @ 2015-06-26 8:48 UTC (permalink / raw
To: gentoo-commits
ago 15/06/26 08:48:35
Modified: libdvdcss-1.3.0.ebuild ChangeLog
Log:
Stable for x86, wrt bug #535458
(Portage version: 2.2.18/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
Revision Changes Path
1.4 media-libs/libdvdcss/libdvdcss-1.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?r1=1.3&r2=1.4
Index: libdvdcss-1.3.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- libdvdcss-1.3.0.ebuild 11 Jun 2015 15:06:46 -0000 1.3
+++ libdvdcss-1.3.0.ebuild 26 Jun 2015 08:48:35 -0000 1.4
@@ -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-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.3 2015/06/11 15:06:46 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.4 2015/06/26 08:48:35 ago Exp $
EAPI=5
@@ -12,7 +12,7 @@
LICENSE="GPL-2"
SLOT="1.2"
-KEYWORDS="~alpha amd64 arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sh ~sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
IUSE="doc static-libs"
RDEPEND=""
1.135 media-libs/libdvdcss/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.135&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.135&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?r1=1.134&r2=1.135
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v
retrieving revision 1.134
retrieving revision 1.135
diff -u -r1.134 -r1.135
--- ChangeLog 11 Jun 2015 15:06:46 -0000 1.134
+++ ChangeLog 26 Jun 2015 08:48:35 -0000 1.135
@@ -1,6 +1,9 @@
# ChangeLog for media-libs/libdvdcss
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.134 2015/06/11 15:06:46 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.135 2015/06/26 08:48:35 ago Exp $
+
+ 26 Jun 2015; Agostino Sarubbo <ago@gentoo.org> libdvdcss-1.3.0.ebuild:
+ Stable for x86, wrt bug #535458
11 Jun 2015; Agostino Sarubbo <ago@gentoo.org> libdvdcss-1.3.0.ebuild:
Stable for amd64, wrt bug #535458
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-libs/libdvdcss: libdvdcss-1.3.0.ebuild ChangeLog
@ 2015-07-30 15:10 Agostino Sarubbo (ago)
0 siblings, 0 replies; 5+ messages in thread
From: Agostino Sarubbo (ago) @ 2015-07-30 15:10 UTC (permalink / raw
To: gentoo-commits
ago 15/07/30 15:10:10
Modified: libdvdcss-1.3.0.ebuild ChangeLog
Log:
Stable for sparc, wrt bug #535458
(Portage version: 2.2.20/cvs/Linux x86_64, RepoMan options: --include-arches="sparc", signed Manifest commit with key 7194459F)
Revision Changes Path
1.8 media-libs/libdvdcss/libdvdcss-1.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.8&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.8&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?r1=1.7&r2=1.8
Index: libdvdcss-1.3.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- libdvdcss-1.3.0.ebuild 23 Jul 2015 20:33:12 -0000 1.7
+++ libdvdcss-1.3.0.ebuild 30 Jul 2015 15:10:10 -0000 1.8
@@ -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-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.7 2015/07/23 20:33:12 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.8 2015/07/30 15:10:10 ago Exp $
EAPI=5
@@ -12,7 +12,7 @@
LICENSE="GPL-2"
SLOT="1.2"
-KEYWORDS="alpha amd64 arm hppa ~ia64 ~mips ppc ppc64 ~sh ~sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
+KEYWORDS="alpha amd64 arm hppa ~ia64 ~mips ppc ppc64 ~sh sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
IUSE="doc static-libs"
RDEPEND=""
1.139 media-libs/libdvdcss/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.139&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.139&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?r1=1.138&r2=1.139
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v
retrieving revision 1.138
retrieving revision 1.139
diff -u -r1.138 -r1.139
--- ChangeLog 23 Jul 2015 20:33:12 -0000 1.138
+++ ChangeLog 30 Jul 2015 15:10:10 -0000 1.139
@@ -1,6 +1,9 @@
# ChangeLog for media-libs/libdvdcss
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.138 2015/07/23 20:33:12 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.139 2015/07/30 15:10:10 ago Exp $
+
+ 30 Jul 2015; Agostino Sarubbo <ago@gentoo.org> libdvdcss-1.3.0.ebuild:
+ Stable for sparc, wrt bug #535458
23 Jul 2015; Pacho Ramos <pacho@gentoo.org> libdvdcss-1.3.0.ebuild:
ppc stable wrt bug #535458
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in media-libs/libdvdcss: libdvdcss-1.3.0.ebuild ChangeLog
@ 2015-08-05 14:29 Mikle Kolyada (zlogene)
0 siblings, 0 replies; 5+ messages in thread
From: Mikle Kolyada (zlogene) @ 2015-08-05 14:29 UTC (permalink / raw
To: gentoo-commits
zlogene 15/08/05 14:29:39
Modified: libdvdcss-1.3.0.ebuild ChangeLog
Log:
ia64 stable wrt bug #535458
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 0x1BDC0E5AC42EB5D6)
Revision Changes Path
1.9 media-libs/libdvdcss/libdvdcss-1.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.9&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?rev=1.9&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild?r1=1.8&r2=1.9
Index: libdvdcss-1.3.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- libdvdcss-1.3.0.ebuild 30 Jul 2015 15:10:10 -0000 1.8
+++ libdvdcss-1.3.0.ebuild 5 Aug 2015 14:29:39 -0000 1.9
@@ -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-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.8 2015/07/30 15:10:10 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/libdvdcss-1.3.0.ebuild,v 1.9 2015/08/05 14:29:39 zlogene Exp $
EAPI=5
@@ -12,7 +12,7 @@
LICENSE="GPL-2"
SLOT="1.2"
-KEYWORDS="alpha amd64 arm hppa ~ia64 ~mips ppc ppc64 ~sh sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
+KEYWORDS="alpha amd64 arm hppa ia64 ~mips ppc ppc64 ~sh sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~x86-solaris"
IUSE="doc static-libs"
RDEPEND=""
1.140 media-libs/libdvdcss/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.140&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?rev=1.140&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-libs/libdvdcss/ChangeLog?r1=1.139&r2=1.140
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v
retrieving revision 1.139
retrieving revision 1.140
diff -u -r1.139 -r1.140
--- ChangeLog 30 Jul 2015 15:10:10 -0000 1.139
+++ ChangeLog 5 Aug 2015 14:29:39 -0000 1.140
@@ -1,6 +1,9 @@
# ChangeLog for media-libs/libdvdcss
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.139 2015/07/30 15:10:10 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-libs/libdvdcss/ChangeLog,v 1.140 2015/08/05 14:29:39 zlogene Exp $
+
+ 05 Aug 2015; Mikle Kolyada <zlogene@gentoo.org> libdvdcss-1.3.0.ebuild:
+ ia64 stable wrt bug #535458
30 Jul 2015; Agostino Sarubbo <ago@gentoo.org> libdvdcss-1.3.0.ebuild:
Stable for sparc, wrt bug #535458
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2015-08-05 14:29 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-06-11 15:06 [gentoo-commits] gentoo-x86 commit in media-libs/libdvdcss: libdvdcss-1.3.0.ebuild ChangeLog Agostino Sarubbo (ago)
-- strict thread matches above, loose matches on Subject: below --
2015-08-05 14:29 Mikle Kolyada (zlogene)
2015-07-30 15:10 Agostino Sarubbo (ago)
2015-06-26 8:48 Agostino Sarubbo (ago)
2014-08-05 9:12 Lars Wendler (polynomial-c)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox