* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-11-13 20:13 Agostino Sarubbo
0 siblings, 0 replies; 11+ messages in thread
From: Agostino Sarubbo @ 2017-11-13 20:13 UTC (permalink / raw
To: gentoo-commits
commit: 7441b0d934adce5f27b18f37726899ab320b53eb
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Mon Nov 13 20:11:20 2017 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Mon Nov 13 20:11:20 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7441b0d9
dev-php/PHP_TokenStream: amd64 stable wrt bug #635356
Package-Manager: Portage-2.3.8, Repoman-2.3.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index 7b1ecd87fae..47373939081 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~s390 ~sh ~sparc x86"
+KEYWORDS="~alpha amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~s390 ~sh ~sparc x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2021-01-07 18:55 Sam James
0 siblings, 0 replies; 11+ messages in thread
From: Sam James @ 2021-01-07 18:55 UTC (permalink / raw
To: gentoo-commits
commit: 4cd3cf9454f1f929a8e4795529a6ce493d162733
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 7 18:55:13 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Jan 7 18:55:13 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4cd3cf94
dev-php/PHP_TokenStream: Stabilize 3.1.1 ALLARCHES, #764356
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild
index 79236ade4a2..8988b643ece 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~s390 ~sparc ~x86"
+KEYWORDS="~alpha amd64 arm ~hppa ~ia64 ppc ppc64 ~s390 sparc x86"
IUSE="test"
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2019-12-20 18:34 Brian Evans
0 siblings, 0 replies; 11+ messages in thread
From: Brian Evans @ 2019-12-20 18:34 UTC (permalink / raw
To: gentoo-commits
commit: af347e1ad8e4eef087266c5e1883cfccdda6ae3b
Author: Brian Evans <grknight <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 20 18:28:40 2019 +0000
Commit: Brian Evans <grknight <AT> gentoo <DOT> org>
CommitDate: Fri Dec 20 18:34:23 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af347e1a
dev-php/PHP_TokenStream: Fix tests for new phpunit
Signed-off-by: Brian Evans <grknight <AT> gentoo.org>
dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild
index 1abe33f362c..106234e79bf 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-3.1.1.ebuild
@@ -26,6 +26,11 @@ RDEPEND="dev-php/fedora-autoloader
BDEPEND="test? ( ${RDEPEND} dev-php/phpunit )"
RESTRICT="!test? ( test )"
+src_prepare() {
+ sed -i -e 's/setUp()/setUp():void/' tests/Token/*.php || die
+ default
+}
+
src_install() {
insinto /usr/share/php/PHP/Token
doins -r src/*
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-11-13 0:49 Thomas Deutschmann
0 siblings, 0 replies; 11+ messages in thread
From: Thomas Deutschmann @ 2017-11-13 0:49 UTC (permalink / raw
To: gentoo-commits
commit: 9b4e25e36af29757cffeb28c79f0b3add378885c
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Mon Nov 13 00:44:43 2017 +0000
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Mon Nov 13 00:44:43 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b4e25e3
dev-php/PHP_TokenStream: x86 stable (bug #635356)
Package-Manager: Portage-2.3.13, Repoman-2.3.4
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index 130be20c1eb..7b1ecd87fae 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~s390 ~sh ~sparc x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-08-10 19:01 Brian Evans
0 siblings, 0 replies; 11+ messages in thread
From: Brian Evans @ 2017-08-10 19:01 UTC (permalink / raw
To: gentoo-commits
commit: 850cdf5e3e34f5bb5aca8cfbe60d4674921dd392
Author: Brian Evans <grknight <AT> gentoo <DOT> org>
AuthorDate: Thu Aug 10 18:17:25 2017 +0000
Commit: Brian Evans <grknight <AT> gentoo <DOT> org>
CommitDate: Thu Aug 10 18:59:35 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=850cdf5e
dev-php/PHP_TokenStream: Keyword remaining arches for Bug 613766
This package is only php script and not compiled
Package-Manager: Portage-2.3.6, Repoman-2.3.3
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index de6e10eec4c..130be20c1eb 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-07-01 9:31 Sergei Trofimovich
0 siblings, 0 replies; 11+ messages in thread
From: Sergei Trofimovich @ 2017-07-01 9:31 UTC (permalink / raw
To: gentoo-commits
commit: 5ee52caf280a846a715f7ed142e9cdeac0c9bb08
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 1 09:29:04 2017 +0000
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sat Jul 1 09:31:36 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5ee52caf
dev-php/PHP_TokenStream: ia64 keyworded, bug #574264
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index 31ef6dd4e12..de6e10eec4c 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ppc ~ppc64 ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~ppc ~ppc64 ~x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-05-28 1:28 Brian Evans
0 siblings, 0 replies; 11+ messages in thread
From: Brian Evans @ 2017-05-28 1:28 UTC (permalink / raw
To: gentoo-commits
commit: ac6853df78c639f43713a362e8a2b2bd1b33f2b2
Author: Brian Evans <grknight <AT> gentoo <DOT> org>
AuthorDate: Sun May 28 01:28:17 2017 +0000
Commit: Brian Evans <grknight <AT> gentoo <DOT> org>
CommitDate: Sun May 28 01:28:17 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ac6853df
dev-php/PHP_TokenStream: Fix stable build by moving to new eclass
Installed files not changed
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-php/PHP_TokenStream/PHP_TokenStream-1.1.3.ebuild | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.1.3.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.1.3.ebuild
index 13336e1b6f5..16306964ba0 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.1.3.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.1.3.ebuild
@@ -1,12 +1,13 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-EAPI=4
+EAPI=6
-PEAR_PV="1.1.3"
PHP_PEAR_PKG_NAME="PHP_TokenStream"
+PHP_PEAR_DOMAIN="pear.phpunit.de"
+PHP_PEAR_CHANNEL="${FILESDIR}/channel.xml"
-inherit php-pear-r1
+inherit php-pear-r2
DESCRIPTION="Wrapper around PHP's tokenizer extension"
HOMEPAGE="http://pear.phpunit.de"
@@ -17,6 +18,7 @@ SLOT="0"
KEYWORDS="amd64 hppa x86"
IUSE=""
-DEPEND="dev-lang/php[tokenizer]
+DEPEND="dev-lang/php:*[tokenizer]
>=dev-php/pear-1.9.4"
RDEPEND="${DEPEND}"
+DOCS=( README.markdown ChangeLog.markdown )
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-04-01 9:47 Michael Weber
0 siblings, 0 replies; 11+ messages in thread
From: Michael Weber @ 2017-04-01 9:47 UTC (permalink / raw
To: gentoo-commits
commit: 8dbfc760c9015bf13887ae1bc17dde48a44a25dd
Author: Michael Weber <xmw <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 1 09:37:31 2017 +0000
Commit: Michael Weber <xmw <AT> gentoo <DOT> org>
CommitDate: Sat Apr 1 09:37:31 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8dbfc760
dev-php/PHP_TokenStream: add ~ppc keyword (bug 613766)
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="amd64 arm arm64 ppc ppc64"
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index 4f6f384da5f..8133b0e7c5f 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~hppa ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~hppa ~ppc ~ppc64 ~x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-03-31 12:34 Michael Weber
0 siblings, 0 replies; 11+ messages in thread
From: Michael Weber @ 2017-03-31 12:34 UTC (permalink / raw
To: gentoo-commits
commit: 60f480d658218b0cb576ae2f2e58c46438f59dbd
Author: Michael Weber <xmw <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 31 12:27:17 2017 +0000
Commit: Michael Weber <xmw <AT> gentoo <DOT> org>
CommitDate: Fri Mar 31 12:32:54 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=60f480d6
dev-php/PHP_TokenStream: add ~arm keyword (bug 613766)
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="amd64 arm arm64 ppc ppc64"
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index 9da5b0b5b3b..4f6f384da5f 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~amd64 ~hppa ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~hppa ~ppc64 ~x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-03-31 10:30 Michael Weber
0 siblings, 0 replies; 11+ messages in thread
From: Michael Weber @ 2017-03-31 10:30 UTC (permalink / raw
To: gentoo-commits
commit: 6eb70bf3c8b389b19c59c96c6fc741f67c04f6ab
Author: Michael Weber <xmw <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 31 10:26:08 2017 +0000
Commit: Michael Weber <xmw <AT> gentoo <DOT> org>
CommitDate: Fri Mar 31 10:29:33 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6eb70bf3
dev-php/PHP_TokenStream: add ~ppc64 keyword (bug 613766)
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="amd64 arm arm64 ppc ppc64"
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index c5f713f9663..9da5b0b5b3b 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~amd64 ~hppa ~x86"
+KEYWORDS="~amd64 ~hppa ~ppc64 ~x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/
@ 2017-03-26 19:53 Jeroen Roovers
0 siblings, 0 replies; 11+ messages in thread
From: Jeroen Roovers @ 2017-03-26 19:53 UTC (permalink / raw
To: gentoo-commits
commit: 48f43e5ff614230d59e84f31b4b63d5a186ff05b
Author: Jeroen Roovers <jer <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 26 19:36:08 2017 +0000
Commit: Jeroen Roovers <jer <AT> gentoo <DOT> org>
CommitDate: Sun Mar 26 19:52:42 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48f43e5f
dev-php/PHP_TokenStream: Mark ~hppa (bug #589104).
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --ignore-arches
dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
index e9c4604f4fc..c5f713f9663 100644
--- a/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
+++ b/dev-php/PHP_TokenStream/PHP_TokenStream-1.4.11.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/sebastianbergmann/${MY_PN}/archive/${PV}.tar.gz -> $
LICENSE="BSD"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64 ~hppa ~x86"
IUSE=""
S="${WORKDIR}/${MY_PN}-${PV}"
^ permalink raw reply related [flat|nested] 11+ messages in thread
end of thread, other threads:[~2021-01-07 18:55 UTC | newest]
Thread overview: 11+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-11-13 20:13 [gentoo-commits] repo/gentoo:master commit in: dev-php/PHP_TokenStream/ Agostino Sarubbo
-- strict thread matches above, loose matches on Subject: below --
2021-01-07 18:55 Sam James
2019-12-20 18:34 Brian Evans
2017-11-13 0:49 Thomas Deutschmann
2017-08-10 19:01 Brian Evans
2017-07-01 9:31 Sergei Trofimovich
2017-05-28 1:28 Brian Evans
2017-04-01 9:47 Michael Weber
2017-03-31 12:34 Michael Weber
2017-03-31 10:30 Michael Weber
2017-03-26 19:53 Jeroen Roovers
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox