* [gentoo-commits] gentoo-x86 commit in dev-lang/qu-prolog: ChangeLog qu-prolog-9.1.ebuild
@ 2011-11-19 18:20 Keri Harris (keri)
0 siblings, 0 replies; 5+ messages in thread
From: Keri Harris (keri) @ 2011-11-19 18:20 UTC (permalink / raw
To: gentoo-commits
keri 11/11/19 18:20:30
Modified: ChangeLog
Added: qu-prolog-9.1.ebuild
Log:
Version bump
(Portage version: 2.1.10.11/cvs/Linux x86_64)
Revision Changes Path
1.83 dev-lang/qu-prolog/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.83&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.83&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?r1=1.82&r2=1.83
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v
retrieving revision 1.82
retrieving revision 1.83
diff -u -r1.82 -r1.83
--- ChangeLog 18 Nov 2011 21:00:02 -0000 1.82
+++ ChangeLog 19 Nov 2011 18:20:30 -0000 1.83
@@ -1,6 +1,13 @@
# ChangeLog for dev-lang/qu-prolog
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.82 2011/11/18 21:00:02 keri Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.83 2011/11/19 18:20:30 keri Exp $
+
+*qu-prolog-9.1 (19 Nov 2011)
+
+ 19 Nov 2011; <keri@gentoo.org> +qu-prolog-9.1.ebuild,
+ +files/qu-prolog-9.1-cerr-ptr.patch, +files/qu-prolog-9.1-cflags.patch,
+ +files/qu-prolog-9.1-portage.patch:
+ Version bump
*qu-prolog-9.0 (18 Nov 2011)
1.1 dev-lang/qu-prolog/qu-prolog-9.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.1&content-type=text/plain
Index: qu-prolog-9.1.ebuild
===================================================================
# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.1 2011/11/19 18:20:30 keri Exp $
EAPI=2
inherit eutils qt4-r2
MY_P=qp${PV}
DESCRIPTION="Qu-Prolog is an extended Prolog supporting quantifiers, object-variables and substitutions"
HOMEPAGE="http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html"
SRC_URI="http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles/${MY_P}.tar.gz"
LICENSE="as-is"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86"
IUSE="debug doc examples pedro qt4 readline threads"
RDEPEND="!dev-util/mpatch
!dev-util/rej
qt4? ( x11-libs/qt-gui:4 )
pedro? ( net-misc/pedro )
readline? ( app-misc/rlwrap )"
DEPEND="${RDEPEND}
dev-lang/perl"
S="${WORKDIR}"/${MY_P}
src_prepare() {
epatch "${FILESDIR}"/${P}-portage.patch
epatch "${FILESDIR}"/${P}-cflags.patch
epatch "${FILESDIR}"/${P}-cerr-ptr.patch
}
src_configure() {
econf \
--libdir=/usr/$(get_libdir) \
$(use_enable debug) \
$(use_enable threads multiple-threads)
if use qt4; then
cd "${S}"/src/xqp
eqmake4 xqp.pro
fi
}
src_compile() {
emake || die "emake failed"
if use qt4; then
cd "${S}"/src/xqp
emake || die "emake xqp failed"
fi
}
src_install() {
sed -i -e "s|${S}|/usr/$(get_libdir)/qu-prolog|g" \
bin/qc bin/qc1.qup bin/qecat bin/qg bin/qp || die
exeinto /usr/bin
doexe bin/qa bin/qdeal bin/qem bin/ql || die
doexe bin/qc bin/qc1.qup bin/qecat bin/qg bin/qp bin/qppp || die
doexe bin/kq || die
if use qt4; then
doexe src/xqp/xqp || die
fi
insinto /usr/$(get_libdir)/${PN}/bin
doins bin/rl_commands
doins bin/qc1.qup.qx \
bin/qecat.qx \
bin/qg.qx \
bin/qp.qx || die
insinto /usr/$(get_libdir)/${PN}/library
doins prolog/library/*.qo || die
insinto /usr/$(get_libdir)/${PN}/compiler
doins prolog/compiler/*.qo || die
doman doc/man/man1/*.1 || die
dodoc README || die
if use doc ; then
docinto reference-manual
dodoc doc/manual/*.html || die
docinto user-guide
dodoc doc/user/main.pdf || die
fi
if use examples ; then
insinto /usr/share/doc/${PF}/examples
doins examples/*.ql || die
docinto examples
dodoc examples/README || die
fi
}
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-lang/qu-prolog: ChangeLog qu-prolog-9.1.ebuild
@ 2012-01-21 16:25 PaweA Hajdan (phajdan.jr)
0 siblings, 0 replies; 5+ messages in thread
From: PaweA Hajdan (phajdan.jr) @ 2012-01-21 16:25 UTC (permalink / raw
To: gentoo-commits
phajdan.jr 12/01/21 16:25:59
Modified: ChangeLog qu-prolog-9.1.ebuild
Log:
x86 stable wrt bug #398815
(Portage version: 2.1.10.41/cvs/Linux i686)
Revision Changes Path
1.86 dev-lang/qu-prolog/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.86&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.86&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?r1=1.85&r2=1.86
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v
retrieving revision 1.85
retrieving revision 1.86
diff -u -r1.85 -r1.86
--- ChangeLog 14 Jan 2012 09:49:25 -0000 1.85
+++ ChangeLog 21 Jan 2012 16:25:59 -0000 1.86
@@ -1,6 +1,9 @@
# ChangeLog for dev-lang/qu-prolog
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.85 2012/01/14 09:49:25 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.86 2012/01/21 16:25:59 phajdan.jr Exp $
+
+ 21 Jan 2012; Pawel Hajdan jr <phajdan.jr@gentoo.org> qu-prolog-9.1.ebuild:
+ x86 stable wrt bug #398815
14 Jan 2012; Agostino Sarubbo <ago@gentoo.org> qu-prolog-9.1.ebuild:
Stable for AMD64, wrt bug #398815
1.3 dev-lang/qu-prolog/qu-prolog-9.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?r1=1.2&r2=1.3
Index: qu-prolog-9.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- qu-prolog-9.1.ebuild 14 Jan 2012 09:49:25 -0000 1.2
+++ qu-prolog-9.1.ebuild 21 Jan 2012 16:25:59 -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/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.2 2012/01/14 09:49:25 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.3 2012/01/21 16:25:59 phajdan.jr Exp $
EAPI=2
@@ -14,7 +14,7 @@
LICENSE="as-is"
SLOT="0"
-KEYWORDS="amd64 ~ppc ~x86"
+KEYWORDS="amd64 ~ppc x86"
IUSE="debug doc examples pedro qt4 readline threads"
RDEPEND="!dev-util/mpatch
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-lang/qu-prolog: ChangeLog qu-prolog-9.1.ebuild
@ 2012-02-01 17:42 Brent Baude (ranger)
0 siblings, 0 replies; 5+ messages in thread
From: Brent Baude (ranger) @ 2012-02-01 17:42 UTC (permalink / raw
To: gentoo-commits
ranger 12/02/01 17:42:35
Modified: ChangeLog qu-prolog-9.1.ebuild
Log:
Marking qu-prolog-9.1 ppc for bug 398815
(Portage version: 2.1.10.11/cvs/Linux ppc64)
Revision Changes Path
1.87 dev-lang/qu-prolog/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.87&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.87&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?r1=1.86&r2=1.87
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v
retrieving revision 1.86
retrieving revision 1.87
diff -u -r1.86 -r1.87
--- ChangeLog 21 Jan 2012 16:25:59 -0000 1.86
+++ ChangeLog 1 Feb 2012 17:42:34 -0000 1.87
@@ -1,6 +1,9 @@
# ChangeLog for dev-lang/qu-prolog
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.86 2012/01/21 16:25:59 phajdan.jr Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.87 2012/02/01 17:42:34 ranger Exp $
+
+ 01 Feb 2012; Brent Baude <ranger@gentoo.org> qu-prolog-9.1.ebuild:
+ Marking qu-prolog-9.1 ppc for bug 398815
21 Jan 2012; Pawel Hajdan jr <phajdan.jr@gentoo.org> qu-prolog-9.1.ebuild:
x86 stable wrt bug #398815
1.4 dev-lang/qu-prolog/qu-prolog-9.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?r1=1.3&r2=1.4
Index: qu-prolog-9.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- qu-prolog-9.1.ebuild 21 Jan 2012 16:25:59 -0000 1.3
+++ qu-prolog-9.1.ebuild 1 Feb 2012 17:42:34 -0000 1.4
@@ -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/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.3 2012/01/21 16:25:59 phajdan.jr Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.4 2012/02/01 17:42:34 ranger Exp $
EAPI=2
@@ -14,7 +14,7 @@
LICENSE="as-is"
SLOT="0"
-KEYWORDS="amd64 ~ppc x86"
+KEYWORDS="amd64 ppc x86"
IUSE="debug doc examples pedro qt4 readline threads"
RDEPEND="!dev-util/mpatch
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-lang/qu-prolog: ChangeLog qu-prolog-9.1.ebuild
@ 2013-01-09 12:02 Keri Harris (keri)
0 siblings, 0 replies; 5+ messages in thread
From: Keri Harris (keri) @ 2013-01-09 12:02 UTC (permalink / raw
To: gentoo-commits
keri 13/01/09 12:02:41
Modified: ChangeLog qu-prolog-9.1.ebuild
Log:
Support compiling with gcc-4.7
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key A138F5ED)
Revision Changes Path
1.89 dev-lang/qu-prolog/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.89&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.89&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?r1=1.88&r2=1.89
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v
retrieving revision 1.88
retrieving revision 1.89
diff -u -r1.88 -r1.89
--- ChangeLog 1 Mar 2012 11:30:25 -0000 1.88
+++ ChangeLog 9 Jan 2013 12:02:40 -0000 1.89
@@ -1,6 +1,10 @@
# ChangeLog for dev-lang/qu-prolog
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.88 2012/03/01 11:30:25 keri Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.89 2013/01/09 12:02:40 keri Exp $
+
+ 09 Jan 2013; <keri@gentoo.org> qu-prolog-9.1.ebuild,
+ +files/qu-prolog-9.1-gcc.patch:
+ Support compiling with gcc-4.7
01 Mar 2012; <keri@gentoo.org> -qu-prolog-8.12.ebuild,
-files/qu-prolog-8.12-cerr-ptr.patch, -files/qu-prolog-8.12-cflags.patch,
1.5 dev-lang/qu-prolog/qu-prolog-9.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?r1=1.4&r2=1.5
Index: qu-prolog-9.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- qu-prolog-9.1.ebuild 1 Feb 2012 17:42:34 -0000 1.4
+++ qu-prolog-9.1.ebuild 9 Jan 2013 12:02:41 -0000 1.5
@@ -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/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.4 2012/02/01 17:42:34 ranger Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.5 2013/01/09 12:02:41 keri Exp $
EAPI=2
@@ -32,6 +32,7 @@
epatch "${FILESDIR}"/${P}-portage.patch
epatch "${FILESDIR}"/${P}-cflags.patch
epatch "${FILESDIR}"/${P}-cerr-ptr.patch
+ epatch "${FILESDIR}"/${P}-gcc.patch
}
src_configure() {
^ permalink raw reply [flat|nested] 5+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-lang/qu-prolog: ChangeLog qu-prolog-9.1.ebuild
@ 2013-04-12 22:44 Ulrich Mueller (ulm)
0 siblings, 0 replies; 5+ messages in thread
From: Ulrich Mueller (ulm) @ 2013-04-12 22:44 UTC (permalink / raw
To: gentoo-commits
ulm 13/04/12 22:44:57
Modified: ChangeLog qu-prolog-9.1.ebuild
Log:
Fix LICENSE, bug 463876.
(Portage version: 2.1.11.62/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
Revision Changes Path
1.91 dev-lang/qu-prolog/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.91&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?rev=1.91&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/ChangeLog?r1=1.90&r2=1.91
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v
retrieving revision 1.90
retrieving revision 1.91
diff -u -r1.90 -r1.91
--- ChangeLog 2 Mar 2013 19:58:29 -0000 1.90
+++ ChangeLog 12 Apr 2013 22:44:57 -0000 1.91
@@ -1,6 +1,9 @@
# ChangeLog for dev-lang/qu-prolog
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.90 2013/03/02 19:58:29 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.91 2013/04/12 22:44:57 ulm Exp $
+
+ 12 Apr 2013; Ulrich Müller <ulm@gentoo.org> qu-prolog-9.1.ebuild:
+ Fix LICENSE, bug 463876.
02 Mar 2013; Markos Chandras <hwoarang@gentoo.org> qu-prolog-9.1.ebuild:
Move Qt dependencies to the new category
1.7 dev-lang/qu-prolog/qu-prolog-9.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.7&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?rev=1.7&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild?r1=1.6&r2=1.7
Index: qu-prolog-9.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- qu-prolog-9.1.ebuild 2 Mar 2013 19:58:29 -0000 1.6
+++ qu-prolog-9.1.ebuild 12 Apr 2013 22:44:57 -0000 1.7
@@ -1,6 +1,6 @@
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.6 2013/03/02 19:58:29 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-9.1.ebuild,v 1.7 2013/04/12 22:44:57 ulm Exp $
EAPI=2
@@ -12,7 +12,7 @@
HOMEPAGE="http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html"
SRC_URI="http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles/${MY_P}.tar.gz"
-LICENSE="as-is"
+LICENSE="Qu-Prolog GPL-2+"
SLOT="0"
KEYWORDS="amd64 ppc x86"
IUSE="debug doc examples pedro qt4 readline threads"
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2013-04-12 22:45 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-01-09 12:02 [gentoo-commits] gentoo-x86 commit in dev-lang/qu-prolog: ChangeLog qu-prolog-9.1.ebuild Keri Harris (keri)
-- strict thread matches above, loose matches on Subject: below --
2013-04-12 22:44 Ulrich Mueller (ulm)
2012-02-01 17:42 Brent Baude (ranger)
2012-01-21 16:25 PaweA Hajdan (phajdan.jr)
2011-11-19 18:20 Keri Harris (keri)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox