* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2022-07-01 11:17 Miroslav Šulc
0 siblings, 0 replies; 10+ messages in thread
From: Miroslav Šulc @ 2022-07-01 11:17 UTC (permalink / raw
To: gentoo-commits
commit: c88061579e7ad6fcb7cc160b2a1588808911fee7
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 1 11:17:11 2022 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Fri Jul 1 11:17:11 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c8806157
media-sound/audiotools: dropped obsolete 3.1.1
Closes: https://bugs.gentoo.org/846050
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1.ebuild | 92 --------------------------
1 file changed, 92 deletions(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1.ebuild b/media-sound/audiotools/audiotools-3.1.1.ebuild
deleted file mode 100644
index b63f0e4b37a6..000000000000
--- a/media-sound/audiotools/audiotools-3.1.1.ebuild
+++ /dev/null
@@ -1,92 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-PYTHON_COMPAT=( python3_{7,8,9} )
-PYTHON_REQ_USE="xml(+)"
-
-inherit distutils-r1
-
-DESCRIPTION="A collection of command line audio tools"
-HOMEPAGE="http://audiotools.sourceforge.net/"
-SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="aac alsa cdda cdr cue dvda flac gui twolame mp3 opus pulseaudio vorbis wavpack"
-
-BDEPEND="virtual/pkgconfig"
-DEPEND="
- alsa? ( media-libs/alsa-lib )
- cdda? ( dev-libs/libcdio-paranoia:0= )
- dvda? ( media-libs/libdvd-audio )
- twolame? ( media-sound/twolame )
- mp3? ( || ( media-sound/mpg123 media-sound/lame ) )
- opus? (
- media-libs/opus
- media-libs/opusfile
- )
- pulseaudio? ( media-sound/pulseaudio )
- vorbis? ( media-libs/libvorbis )
- wavpack? ( media-sound/wavpack )
-"
-RDEPEND="${DEPEND}
- aac? (
- media-libs/faad2
- media-libs/faac
- )
- cdr? ( app-cdr/cdrtools )
- cue? ( app-cdr/cdrdao )
- flac? ( media-libs/flac )
- gui? (
- $(python_gen_impl_dep 'tk(+)')
- dev-python/pillow[${PYTHON_USEDEP}]
- dev-python/urwid[${PYTHON_USEDEP}]
- )
-"
-
-# lots of random failures
-RESTRICT="test"
-
-PATCHES=( "${FILESDIR}"/${P}-libcdio-paranoia.patch )
-
-src_prepare() {
- default
-
- local USEFLAG_LIBS=(
- cdda:libcdio_paranoia
- dvda:libdvd-audio
- pulseaudio:libpulse
- alsa:alsa
- mp3:libmpg123
- mp3:mp3lame
- vorbis:vorbisfile
- vorbis:vorbisenc
- opus:opusfile
- opus:opus
- twolame:twolame
- )
-
- # enable/disable deps based on USE flags
- local flag_lib flag lib
- for flag_lib in "${USEFLAG_LIBS[@]}"; do
- flag=${flag_lib/:*}
- lib=${flag_lib/*:}
- use ${flag} || { sed -i "/^${lib}:/s/probe/no/" setup.cfg || die; }
- done
-}
-
-python_compile_all() {
- emake -C docs
-}
-
-python_test() {
- cd test || die
- "${PYTHON}" test.py || die
-}
-
-python_install_all() {
- doman docs/*.{1,5}
- distutils-r1_python_install_all
-}
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2024-07-30 9:18 Pacho Ramos
0 siblings, 0 replies; 10+ messages in thread
From: Pacho Ramos @ 2024-07-30 9:18 UTC (permalink / raw
To: gentoo-commits
commit: 8fd96b3d59c6c39b1f66afaa352a83cb07d7d1d5
Author: Pacho Ramos <pacho <AT> gentoo <DOT> org>
AuthorDate: Tue Jul 30 09:10:26 2024 +0000
Commit: Pacho Ramos <pacho <AT> gentoo <DOT> org>
CommitDate: Tue Jul 30 09:18:16 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8fd96b3d
media-sound/audiotools: enable py3.12
Closes: https://bugs.gentoo.org/929653
Signed-off-by: Pacho Ramos <pacho <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1-r2.ebuild | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1-r2.ebuild b/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
index fb64c116d442..261cb53096f9 100644
--- a/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
+++ b/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
@@ -3,8 +3,9 @@
EAPI=8
-PYTHON_COMPAT=( python3_{10..11} )
+PYTHON_COMPAT=( python3_{10..12} )
PYTHON_REQ_USE="xml(+)"
+DISTUTILS_EXT=1
inherit distutils-r1
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2024-03-13 21:04 Sam James
0 siblings, 0 replies; 10+ messages in thread
From: Sam James @ 2024-03-13 21:04 UTC (permalink / raw
To: gentoo-commits
commit: 2c3538475e38700f080333f9bcc50748036b7055
Author: Eli Schwartz <eschwartz93 <AT> gmail <DOT> com>
AuthorDate: Wed Mar 13 19:05:26 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Mar 13 21:04:07 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2c353847
media-sound/audiotools: work around broken parallel building
Because setuptools cannot handle two extensions that build the source
code, and races.
Closes: https://bugs.gentoo.org/860444
Signed-off-by: Eli Schwartz <eschwartz93 <AT> gmail.com>
Signed-off-by: Sam James <sam <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1-r2.ebuild | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1-r2.ebuild b/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
index 3d93d632d29e..02b83872ef6f 100644
--- a/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
+++ b/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -82,6 +82,12 @@ python_compile_all() {
emake -C docs
}
+python_compile() {
+ # setuptools is broken with parallel builds
+ local MAKEOPTS=-j1
+ distutils-r1_python_compile
+}
+
python_test() {
cd test || die
"${PYTHON}" test.py || die
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2023-05-29 18:29 Andreas Sturmlechner
0 siblings, 0 replies; 10+ messages in thread
From: Andreas Sturmlechner @ 2023-05-29 18:29 UTC (permalink / raw
To: gentoo-commits
commit: 2e23bc6a1cbe0ea346161fb1cc460104e32efb24
Author: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
AuthorDate: Mon May 29 17:18:37 2023 +0000
Commit: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Mon May 29 18:29:39 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2e23bc6a
media-sound/audiotools: Switch IUSE=pulseaudio to media-libs/libpulse
Signed-off-by: Andreas Sturmlechner <asturm <AT> gentoo.org>
.../{audiotools-3.1.1-r1.ebuild => audiotools-3.1.1-r2.ebuild} | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1-r1.ebuild b/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
similarity index 97%
rename from media-sound/audiotools/audiotools-3.1.1-r1.ebuild
rename to media-sound/audiotools/audiotools-3.1.1-r2.ebuild
index a09d948a30a5..0cc3b1afa76a 100644
--- a/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
+++ b/media-sound/audiotools/audiotools-3.1.1-r2.ebuild
@@ -2,6 +2,7 @@
# Distributed under the terms of the GNU General Public License v2
EAPI=8
+
PYTHON_COMPAT=( python3_{9..11} )
PYTHON_REQ_USE="xml(+)"
@@ -27,7 +28,7 @@ DEPEND="
media-libs/opus
media-libs/opusfile
)
- pulseaudio? ( media-sound/pulseaudio )
+ pulseaudio? ( media-libs/libpulse )
vorbis? ( media-libs/libvorbis )
wavpack? ( media-sound/wavpack )
"
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2023-05-04 7:02 Miroslav Šulc
0 siblings, 0 replies; 10+ messages in thread
From: Miroslav Šulc @ 2023-05-04 7:02 UTC (permalink / raw
To: gentoo-commits
commit: 09955bc881e60bb57f66ed1cfb56f19df1701752
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
AuthorDate: Thu May 4 07:02:37 2023 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Thu May 4 07:02:37 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=09955bc8
media-sound/audiotools: py3.11
Closes: https://bugs.gentoo.org/897024
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1-r1.ebuild b/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
index 319bcfd49eb4..a09d948a30a5 100644
--- a/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
+++ b/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
@@ -2,7 +2,7 @@
# Distributed under the terms of the GNU General Public License v2
EAPI=8
-PYTHON_COMPAT=( python3_{9..10} )
+PYTHON_COMPAT=( python3_{9..11} )
PYTHON_REQ_USE="xml(+)"
inherit distutils-r1
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2022-07-02 12:20 Agostino Sarubbo
0 siblings, 0 replies; 10+ messages in thread
From: Agostino Sarubbo @ 2022-07-02 12:20 UTC (permalink / raw
To: gentoo-commits
commit: c1792c439cad5d0184e0234551a6e1d021556a8b
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 2 12:20:18 2022 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Sat Jul 2 12:20:46 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c1792c43
media-sound/audiotools: amd64 stable wrt bug #855527
Package-Manager: Portage-3.0.30, Repoman-3.0.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1-r1.ebuild b/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
index e564fa51638b..82bedd956825 100644
--- a/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
+++ b/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
@@ -13,7 +13,7 @@ SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE="aac alsa cdda cdr cue dvda flac gui twolame mp3 opus pulseaudio vorbis wavpack"
BDEPEND="virtual/pkgconfig"
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2022-06-28 8:35 Miroslav Šulc
0 siblings, 0 replies; 10+ messages in thread
From: Miroslav Šulc @ 2022-06-28 8:35 UTC (permalink / raw
To: gentoo-commits
commit: bcfcf95ae43759af629895eede5e27adf1d31a13
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 28 08:34:54 2022 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Tue Jun 28 08:34:54 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcfcf95a
media-sound/audiotools: eapi8, added python 3.10
Bug: https://bugs.gentoo.org/846050
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1-r1.ebuild | 92 +++++++++++++++++++++++
1 file changed, 92 insertions(+)
diff --git a/media-sound/audiotools/audiotools-3.1.1-r1.ebuild b/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
new file mode 100644
index 000000000000..e564fa51638b
--- /dev/null
+++ b/media-sound/audiotools/audiotools-3.1.1-r1.ebuild
@@ -0,0 +1,92 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+PYTHON_COMPAT=( python3_{8..10} )
+PYTHON_REQ_USE="xml(+)"
+
+inherit distutils-r1
+
+DESCRIPTION="A collection of command line audio tools"
+HOMEPAGE="http://audiotools.sourceforge.net/"
+SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="aac alsa cdda cdr cue dvda flac gui twolame mp3 opus pulseaudio vorbis wavpack"
+
+BDEPEND="virtual/pkgconfig"
+DEPEND="
+ alsa? ( media-libs/alsa-lib )
+ cdda? ( dev-libs/libcdio-paranoia:0= )
+ dvda? ( media-libs/libdvd-audio )
+ twolame? ( media-sound/twolame )
+ mp3? ( || ( media-sound/mpg123 media-sound/lame ) )
+ opus? (
+ media-libs/opus
+ media-libs/opusfile
+ )
+ pulseaudio? ( media-sound/pulseaudio )
+ vorbis? ( media-libs/libvorbis )
+ wavpack? ( media-sound/wavpack )
+"
+RDEPEND="${DEPEND}
+ aac? (
+ media-libs/faad2
+ media-libs/faac
+ )
+ cdr? ( app-cdr/cdrtools )
+ cue? ( app-cdr/cdrdao )
+ flac? ( media-libs/flac )
+ gui? (
+ $(python_gen_impl_dep 'tk(+)')
+ dev-python/pillow[${PYTHON_USEDEP}]
+ dev-python/urwid[${PYTHON_USEDEP}]
+ )
+"
+
+# lots of random failures
+RESTRICT="test"
+
+PATCHES=( "${FILESDIR}"/${P}-libcdio-paranoia.patch )
+
+src_prepare() {
+ default
+
+ local USEFLAG_LIBS=(
+ cdda:libcdio_paranoia
+ dvda:libdvd-audio
+ pulseaudio:libpulse
+ alsa:alsa
+ mp3:libmpg123
+ mp3:mp3lame
+ vorbis:vorbisfile
+ vorbis:vorbisenc
+ opus:opusfile
+ opus:opus
+ twolame:twolame
+ )
+
+ # enable/disable deps based on USE flags
+ local flag_lib flag lib
+ for flag_lib in "${USEFLAG_LIBS[@]}"; do
+ flag=${flag_lib/:*}
+ lib=${flag_lib/*:}
+ use ${flag} || { sed -i "/^${lib}:/s/probe/no/" setup.cfg || die; }
+ done
+}
+
+python_compile_all() {
+ emake -C docs
+}
+
+python_test() {
+ cd test || die
+ "${PYTHON}" test.py || die
+}
+
+python_install_all() {
+ doman docs/*.{1,5}
+ distutils-r1_python_install_all
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2021-03-11 19:36 Ben Kohler
0 siblings, 0 replies; 10+ messages in thread
From: Ben Kohler @ 2021-03-11 19:36 UTC (permalink / raw
To: gentoo-commits
commit: 21afe1b95c0108a2c32950e3835220c159c7e383
Author: Ben Kohler <bkohler <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 11 19:36:16 2021 +0000
Commit: Ben Kohler <bkohler <AT> gentoo <DOT> org>
CommitDate: Thu Mar 11 19:36:16 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=21afe1b9
media-sound/audiotools: add python3_9 support
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Ben Kohler <bkohler <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1.ebuild b/media-sound/audiotools/audiotools-3.1.1.ebuild
index 6a3ba0f28b8..b63f0e4b37a 100644
--- a/media-sound/audiotools/audiotools-3.1.1.ebuild
+++ b/media-sound/audiotools/audiotools-3.1.1.ebuild
@@ -1,8 +1,8 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
-PYTHON_COMPAT=( python3_7 )
+PYTHON_COMPAT=( python3_{7,8,9} )
PYTHON_REQ_USE="xml(+)"
inherit distutils-r1
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2020-12-18 9:00 Michał Górny
0 siblings, 0 replies; 10+ messages in thread
From: Michał Górny @ 2020-12-18 9:00 UTC (permalink / raw
To: gentoo-commits
commit: c52beb4274debb4199defb680c62dc03ed68c1c4
Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 18 08:57:30 2020 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Fri Dec 18 09:00:27 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c52beb42
media-sound/audiotools: Inline virtual/cdrtools
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
media-sound/audiotools/audiotools-3.1.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/media-sound/audiotools/audiotools-3.1.1.ebuild b/media-sound/audiotools/audiotools-3.1.1.ebuild
index 16e75ef9155..24789992f77 100644
--- a/media-sound/audiotools/audiotools-3.1.1.ebuild
+++ b/media-sound/audiotools/audiotools-3.1.1.ebuild
@@ -36,7 +36,7 @@ RDEPEND="${DEPEND}
media-libs/faad2
media-libs/faac
)
- cdr? ( virtual/cdrtools )
+ cdr? ( app-cdr/cdrtools )
cue? ( app-cdr/cdrdao )
flac? ( media-libs/flac )
gui? (
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/
@ 2020-01-12 11:14 David Seifert
0 siblings, 0 replies; 10+ messages in thread
From: David Seifert @ 2020-01-12 11:14 UTC (permalink / raw
To: gentoo-commits
commit: 20050ca715648d52a7924270d5caf51bf8074670
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 12 11:13:23 2020 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sun Jan 12 11:13:23 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=20050ca7
media-sound/audiotools: Remove local USE="gui"
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: David Seifert <soap <AT> gentoo.org>
media-sound/audiotools/metadata.xml | 1 -
1 file changed, 1 deletion(-)
diff --git a/media-sound/audiotools/metadata.xml b/media-sound/audiotools/metadata.xml
index 6e38a80b6a6..1e51d3f4604 100644
--- a/media-sound/audiotools/metadata.xml
+++ b/media-sound/audiotools/metadata.xml
@@ -8,7 +8,6 @@
<use>
<flag name="cue">Enable CUE sheet support</flag>
<flag name="dvda">Enable DVD-Audio support</flag>
- <flag name="gui">Enable support for GUI tools</flag>
<flag name="twolame">Enable twolame support (MPEG Audio Layer 2 encoder)</flag>
</use>
<upstream>
^ permalink raw reply related [flat|nested] 10+ messages in thread
end of thread, other threads:[~2024-07-30 9:18 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-07-01 11:17 [gentoo-commits] repo/gentoo:master commit in: media-sound/audiotools/ Miroslav Šulc
-- strict thread matches above, loose matches on Subject: below --
2024-07-30 9:18 Pacho Ramos
2024-03-13 21:04 Sam James
2023-05-29 18:29 Andreas Sturmlechner
2023-05-04 7:02 Miroslav Šulc
2022-07-02 12:20 Agostino Sarubbo
2022-06-28 8:35 Miroslav Šulc
2021-03-11 19:36 Ben Kohler
2020-12-18 9:00 Michał Górny
2020-01-12 11:14 David Seifert
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox