* [gentoo-commits] dev/xmw:master commit in: sys-boot/raspberrypi-firmware/files/, sys-boot/raspberrypi-firmware/
@ 2016-02-19 22:01 Michael Weber
0 siblings, 0 replies; only message in thread
From: Michael Weber @ 2016-02-19 22:01 UTC (permalink / raw
To: gentoo-commits
commit: e7831e237ea340c35aaad802acc08ccba4055aa1
Author: Michael Weber <michael <AT> xmw <DOT> de>
AuthorDate: Fri Feb 19 22:00:56 2016 +0000
Commit: Michael Weber <xmw <AT> gentoo <DOT> org>
CommitDate: Fri Feb 19 22:00:56 2016 +0000
URL: https://gitweb.gentoo.org/dev/xmw.git/commit/?id=e7831e23
sys-boot/raspberrypi-firmware: drop old versions.
Package-Manager: portage-2.2.27
Manifest-Sign-Key: 0x71D573A82F434065
sys-boot/raspberrypi-firmware/Manifest | 40 ++++-------
.../raspberrypi-firmware-0_p20130711-cmdline.txt | 1 -
.../raspberrypi-firmware-0_p20130711-config.txt | 81 ----------------------
.../raspberrypi-firmware-1_pre20150327.ebuild | 62 -----------------
.../raspberrypi-firmware-1_pre20150421.ebuild | 62 -----------------
5 files changed, 13 insertions(+), 233 deletions(-)
diff --git a/sys-boot/raspberrypi-firmware/Manifest b/sys-boot/raspberrypi-firmware/Manifest
index 4cdcd0f..8b68a3b 100644
--- a/sys-boot/raspberrypi-firmware/Manifest
+++ b/sys-boot/raspberrypi-firmware/Manifest
@@ -2,34 +2,20 @@
Hash: SHA256
DIST raspberrypi-firmware-1.20160209.tar.gz 114792438 SHA256 ca6a88db72e90ef821b8ca7755bbee9c1d5bdb9a621a45eb029af195d2d29751 SHA512 281092c11d422d821e5e2b0479c3b8f891f8df66cfbf931992902d759c99ed40cbb2d9fada1f944372e5bcd8af69784739e79e9912db3482892b10bf668611f2 WHIRLPOOL 81974a53562ee91544d7a01dc9f4f4173a6e882891f8cf744b700162ddd8f8607b1cfcbbde04cafe2bcea47489f9ea4fd8840adf776e806bef0dba574448e76e
-DIST raspberrypi-firmware-6cc27e02d-bootcode.bin 17900 SHA256 6149c038b67e22c826bcdc28a7b59b91bded089eddf506c25df96af88e7846f4 SHA512 d27a9fc1e8878fe1d0d6324dfb2a3284e1c122722fffb39fb45723fb0d53cde7bd083044c4bac8cd8d7070f9f6482372604ed47166dc57b8c42c3148ebced8e4 WHIRLPOOL 814117482050b646d89a2fde78bb2568f7d933b0eb11e34189691b6e6d4e3ea2b9cad41ae58e65cde6ed04bc33d64e02b66989bfb042305d3c003fe07f6e9fa5
-DIST raspberrypi-firmware-6cc27e02d-fixup.dat 6161 SHA256 32e8e902eb7dbef6f1257a020fbd50f0dc811bda6bc62108609ecc903cdf28c8 SHA512 c350ffc24ee3b294a6e18b13f6c79c5f168a782afb99a00e6a13337e66d2d73d511b202918411909015bf7483e8652626191e985cd5446b692e47a9499c73028 WHIRLPOOL 4979a7eb8178d7c237a2651e94151b597fbaeebe4cf468989473867d20ac88ee380b17fd976274332a9d0b0db40afb8f64f6b93216ed6e06cc34de9048760767
-DIST raspberrypi-firmware-6cc27e02d-fixup_cd.dat 2366 SHA256 ce1c52f658a1bfc34c859f33d2775c749228d55008c386f331fa441fe17603fb SHA512 ec533cd41207de52e82fcd4a9298c50b15794eab97223b4f75c028c5bfa359f32f946df136cacc01a15d0d09df2ae013ccaf07094ef62473a18c2d7889e4aaf0 WHIRLPOOL 76d6a287ea70f3d07526a69ee3ca3a559354cdb9215df65a4a97f45eafffa45954b115f8924fdd229f4c76af617053c83dc21f6af077a7724ae3c24b71310b68
-DIST raspberrypi-firmware-6cc27e02d-fixup_x.dat 9214 SHA256 7c81b6dc6e22333c8bf8da2b1c5ccc5bf487a917661b222a02c6da9579447d23 SHA512 5cb0326e9d46bd95a50f7ff8cdd5899a142bf4d3097e8e5c13ca2951c3fb2579c8eb46aee2bebd4838f1eee1941aa005f799a08fc04fac716567a72e5b90586a WHIRLPOOL c7a197e914c316799c24e1e8bc5e4193ae7abc1acafc2022c5c7dd6a485c8b7fe0a4676eb622640cde1726358c32691d13026f39f736e34632bb1fb8ab51b45b
-DIST raspberrypi-firmware-6cc27e02d-start.elf 2664088 SHA256 130017bb746827187ed642e0cadf2b86cbce75a686c2877b17021bc7a791e60d SHA512 ba59e35bc015f1de733f0bfe41af928ffd59e5bb6710714997e0dab3a52ab8c7a69a7192cb782d0f0e0aa09d2aeac062b9581859553c329cea43b63e7d12d3a3 WHIRLPOOL b16e32d8ecd7f7be2066d9e0312f98183cd106ed2082e723e3d66399a6a0abccb08a8ef4eff68328882fb64841251d1631be4331110ee338173f204bda8d0843
-DIST raspberrypi-firmware-6cc27e02d-start_cd.elf 567672 SHA256 05a52cd9bc6896c235cfaeed7a4608a8e29edc5c6a26c577e396cf1f8c9ac14e SHA512 3478fd1dc4f51c215c32d14efc3f9e8a088c146d6d8604f2a00e8ee8d13e591c8ce0cebbf26e6927941919d2445b79e8cdca8a28fd7f46a168a5aa67fe770ffd WHIRLPOOL e67a260de38f7cd5669779a64ed8032bbdb655cc11feb5c16b190ae02a665f6ba9b08d72590e7d23804caa9dcd1ab2e130bc901f22700de56b18f76cb71ddb74
-DIST raspberrypi-firmware-6cc27e02d-start_x.elf 3621768 SHA256 623baf0b7d5fe29f650f8b408bb2f20ec77b58d063edcff7883bf48caf1e9753 SHA512 b8903a2f40ead50c88005708cd53a1391d47cfca2232ed5a08770f80e066aa85d784c7aca3bf5edefe07bbfd07da93622ca072547d30defc59cae58efd0985df WHIRLPOOL 13345653f3351dcc3b8b92894db2b62ff93e77d94a251b3ec30dce181be62c8f37abc4a6c38124a5cf946a40cf2ffb5673deb0f198bafaf617b0df354451acb0
-DIST raspberrypi-firmware-ffda51ebff-bootcode.bin 17864 SHA256 18e58724814b0b8abb75b245b35aac14867f717d221a8fb5582d176586722a30 SHA512 e45f8b4588f54bb6ac99eb395e73681f88b5c8869d5d22bc14b09db8ca1ffe93a8d4c5da87700ce05fdc35d8e77ace48580dcce23f9b53d5973315796f42ba8a WHIRLPOOL 0e16e1d3d4fcde60087b81ff44b119109d553a61708f5c7bce1239613cd86cabf05fc3df7b474d992c8d4a4c5098293eea59c85070b2449ff4f12ea2c10b2d84
-DIST raspberrypi-firmware-ffda51ebff-fixup.dat 6154 SHA256 a7643347be21cf5fe51df3e9ab9f5ffcd026afa79f4dcbd76b376f239e33a3f5 SHA512 1664e0bdb445ac2e0848cfa2116389bf1116a510878a85e8cd206ae1eab0e45d2617802a934aff6cf9666dab9cd7fb2879a4f0e4e6ef62d7bdcde1db6317971b WHIRLPOOL 34555585c12a369478288d107cef32f262ff56b02f7f4d2f72e3d75780db4f0da9c95e5517171080fc2680437e098caeeb853887080bf08e38c7f011de4cf769
-DIST raspberrypi-firmware-ffda51ebff-fixup_cd.dat 2365 SHA256 ee58e3ab010e2f3102476b0d70ba40790ce51fec168c7fda696720f50a88a7b2 SHA512 0c329ca7b5bc1dd52d1f7e3aaba1a0e7fd8f669a1f9ef42ec7fe1429e2210a2d7a4b419231e2343bbf58cbe9b6c5f429c16ca0fd3aeec055163f83b028052675 WHIRLPOOL c11c622e9a8908e2092a2b5ca60b63b99e3de96040998005465be424f7ddf6838b9ce7297b3da461c9c40cba0f6536603bf168575625a7c4a146cbe0c4f52165
-DIST raspberrypi-firmware-ffda51ebff-fixup_x.dat 9210 SHA256 3c3ff7d6c901e23b7cddae880e2486d3bbfa19bc3bf2fc105d3cfec36d7f3095 SHA512 0f2c41818317f3581e589e8f610d17d5bc99a384e10afd6735c40cf7eaf1de975d4a7dee73bc1e6e84be9fa80e06487ced5417bdc26de4d41334821772085757 WHIRLPOOL c3f86d4913237d619963b90b367385ad99f706813b4d8a50ad1492adf11b240d9fb966b9d06f7a5a89e9152d3657f2306f49d85ff74af7d41433049b4fe2708e
-DIST raspberrypi-firmware-ffda51ebff-start.elf 3540280 SHA256 c11878e3a7ee9d5f4f56c655e4f5104378b1958275a8c7bc0944a9752c806373 SHA512 2b707f0c376eb5be762f31f492038f16f802daea5281de980f55c3ac5bb0c08927de5fa5bad2216e1535b6bea36d864abd074f420d335be35f7beb0e28e4ad87 WHIRLPOOL 84266f79f69ae7b656e00c08f6a0ecfeb87f2b394b9df4ca13f77ea1a807f2423478efa882555899329b600e2f07f4afb687d0fe13079baa6b699232271d6c22
-DIST raspberrypi-firmware-ffda51ebff-start_cd.elf 586616 SHA256 97a66d7f707b7c9244483faab746b525ecdb420ad8818f2869bbb83e44a768bb SHA512 81fd6d5579b58ab95c0bb6a41923814f76410436bac177a08856739d785978070d79829f22117a0ff73beba41bc707110f9a95fbbd85c7be51bc8697d1a43177 WHIRLPOOL 31eef08ccc141a117e809ff67a79380dd820e09d477dc4ce0a99eb21976db822e945161c0bcb44ef52586675b879d8b7956e77427b96692f98e092e6b8de6a1c
-DIST raspberrypi-firmware-ffda51ebff-start_x.elf 4635752 SHA256 5435ef94dac8eb3f726996802d1df32093d385e87e7225a9ce3dd02ffd9cd6f5 SHA512 3a0a768986590f67bb4ac3a8ed6fe8b2e49412a200fbc67b03196c786dade222b068535feb171cc2faf419bbcaa89f1b562e8bd38957fbd1658dec26c0a73cee WHIRLPOOL d04c8027fd95c30c62dbc48debdb6a84101318dd9773929fafcfb231e5f29c1814446f8ecbea11353fb40e0ef0568ef8417fbab86120fc200ab5022f81f3aab7
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
-iQIcBAEBCAAGBQJWx2VfAAoJEHHVc6gvQ0BlRqcP/jlJTEgds93COVw6727+wQ78
-R+k4xo3mVYSpxNDRSyncxZMcmqe5gAFdK9i8kTDC1JAZgX6WSVy93ttslk0QyuYY
-dUz5gOQd+TDJi8N932vGMkQNg8RQirXJAU2vZhl+YDtISuoMWDsscigVnZPiGnzh
-B7T6jnIGdS2XjHpYiArKSlFykBGxAkk0dSzPIZcisllHF1eYmoTlLbxpqlE89qWR
-GCX/ko2bbA2pArATerciC9pqn3enfXBFz/EpA77F4jMhBMtoZ0pt4O2Y2NBLnoaf
-vyCJpg0bGcaMr2NJj1s9Qk9UAdjNo4n18pa02BU4XSIdn/2xvNNBrQKUMb9payN+
-gk8naD0vFBt/BjB/Nr+zVX8yS3Ufyz7cKuT4e03dOh2bXaK4QcM8PsXoz9ouCVCT
-FbHV4fKMZm0N88TFE8NFdSO7BIWskZonCKKY/VaoxfdkBI3Cq++o+EqGXPtuG5aL
-S5Clir+w44QtIwS/Ub9j5+GUzZmt1IAoXG2eSuX+p1TuOROXGCk6cfeqUMtS/+mw
-PutZiNT9tXxTXpnvyoPVsdZWWk1DCRRrBaizve1AcwCgrpNBUJeM7B1K7/jvTYVz
-OTIu6bfg2uqTBv4kuMH0hm5a1Zaext7G2ESAyZK6AhqqwlzMOsLx8Qo0jz0pS6Nf
-gWcwesLyRxqAB0FKrPz2
-=q94K
+iQIcBAEBCAAGBQJWx5CXAAoJEHHVc6gvQ0Bl/1oP/RWCt99kaQyh1pG5XV5WyPRJ
+sc3pylRqRssAh9ABRkjWHstTWsn5HtTV9KFfFgKOl+vSkhOT+j7imjNwty+HobZP
+r2V0uPCaSy67XRAOsSYSkXq77x3XjXwixMF6Zpg2d9PVsXft9LDyNhlL6cVAOqYQ
+K4Jw5iGJcI2sZqoogx7H3eb3KkP5r7bd+2DcwSOM/8GXz5xfr9M1uyvlvkd4P2Ig
+beJfnSPdyYv1v013v7W8uLvfS0PkjYCeqo1fst3wUGmcz9+j+9c1G/fYKWL08858
+OkULtriEjpTwksGtGkmWoQWwYW3UE4IL/JhiRQ6z9FZ9j00DfX5vG6g9OkFP9kp9
+GRFWPTLE6IUVRYsOT6PxMxKgRgqie9UjB77zoKxiCmD5t2uUWweB7ADfBQNl+ykz
+LLoyb2yBa4j87woM8fiobFYREemvIU04Nz8gS35BaV7f2kYcWXN8xn8BZh1/h3A/
+C8XD5Z1TqGGsL5mBclcGHUZ+Wa4A5diyviZNNnAvUqJ9ZGjsiVz0XpZLWQYZV1aB
+t1bKHBt8fZ68RLeO2thRjpSExeXETYk8koJTN9KY9R+EBzcwWxI7L3Tc8JbCNTIX
+Tm+lnBpeI4Y2HY2+pHJsY1DOCgnOq8dnL0pOqpCNp2H/Ae89dHctkCzweUPfHpx4
+YSEaG/SHXTdYbdzwP7Gl
+=TMIH
-----END PGP SIGNATURE-----
diff --git a/sys-boot/raspberrypi-firmware/files/raspberrypi-firmware-0_p20130711-cmdline.txt b/sys-boot/raspberrypi-firmware/files/raspberrypi-firmware-0_p20130711-cmdline.txt
deleted file mode 100644
index 39112a2..0000000
--- a/sys-boot/raspberrypi-firmware/files/raspberrypi-firmware-0_p20130711-cmdline.txt
+++ /dev/null
@@ -1 +0,0 @@
-ipv6.disable=0 selinux=0 plymouth.enable=0 smsc95xx.turbo_mode=N dwc_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 root=/dev/mmcblk0p2 rootfstype=ext4 elevator=noop rootwait
diff --git a/sys-boot/raspberrypi-firmware/files/raspberrypi-firmware-0_p20130711-config.txt b/sys-boot/raspberrypi-firmware/files/raspberrypi-firmware-0_p20130711-config.txt
deleted file mode 100644
index 9401530..0000000
--- a/sys-boot/raspberrypi-firmware/files/raspberrypi-firmware-0_p20130711-config.txt
+++ /dev/null
@@ -1,81 +0,0 @@
-#from archlinux arm sdcard image
-# uncomment if you get no picture on HDMI for a default "safe" mode
-#hdmi_safe=1
-
-# uncomment this if your display has a black border of unused pixels visible
-# and your display can output without overscan
-#disable_overscan=1
-
-# uncomment the following to adjust overscan. Use positive numbers if console
-# goes off screen, and negative if there is too much border
-#overscan_left=16
-#overscan_right=16
-#overscan_top=16
-#overscan_bottom=16
-
-# uncomment to force a console size. By default it will be display's size minus
-# overscan.
-#framebuffer_width=1280
-#framebuffer_height=720
-
-# uncomment if hdmi display is not detected and composite is being output
-#hdmi_force_hotplug=1
-
-# uncomment to force a specific HDMI mode (this will force VGA)
-#hdmi_group=1
-#hdmi_mode=1
-
-# uncomment to force a HDMI mode rather than DVI. This can make audio work in
-# DMT (computer monitor) modes
-#hdmi_drive=2
-
-# uncomment to increase signal to HDMI, if you have interference, blanking, or
-# no display
-#config_hdmi_boost=4
-
-# uncomment for composite PAL
-#sdtv_mode=2
-
-#uncomment to overclock the arm. 700 MHz is the default.
-#arm_freq=800
-
-# for more options see http://elinux.org/RPi_config.txt
-
-## Some over clocking settings, govenor already set to ondemand
-
-##None
-#arm_freq=700
-#core_freq=250
-#sdram_freq=400
-#over_voltage=0
-
-##Modest
-#arm_freq=800
-#core_freq=300
-#sdram_freq=400
-#over_voltage=0
-
-##Medium
-#arm_freq=900
-#core_freq=333
-#sdram_freq=450
-#over_voltage=2
-
-##High
-#arm_freq=950
-#core_freq=450
-#sdram_freq=450
-#over_voltage=6
-
-##Turbo
-#arm_freq=1000
-#core_freq=500
-#sdram_freq=500
-#over_voltage=6
-
-gpu_mem_512=316
-gpu_mem_256=128
-cma_lwm=16
-cma_hwm=32
-cma_offline_start=16
-
diff --git a/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20150327.ebuild b/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20150327.ebuild
deleted file mode 100644
index d770bc4..0000000
--- a/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20150327.ebuild
+++ /dev/null
@@ -1,62 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20130807.ebuild,v 1.1 2013/08/15 18:21:47 xmw Exp $
-
-EAPI=5
-
-inherit readme.gentoo
-
-DESCRIPTION="Raspberry PI boot loader and firmware"
-HOMEPAGE="https://github.com/raspberrypi/firmware"
-MY_COMMIT="ffda51ebff"
-SRC_URI=""
-for my_src_uri in bootcode.bin fixup{,_cd,_x}.dat start{,_cd,_x}.elf ; do
- SRC_URI="${SRC_URI} https://github.com/raspberrypi/firmware/raw/${MY_COMMIT}/boot/${my_src_uri} -> ${PN}-${MY_COMMIT}-${my_src_uri}"
-done
-
-LICENSE="GPL-2 raspberrypi-videocore-bin"
-SLOT="0"
-KEYWORDS="~arm -*"
-IUSE=""
-
-DEPEND=""
-RDEPEND="!sys-boot/raspberrypi-loader"
-
-S=${WORKDIR}
-
-RESTRICT="binchecks strip"
-
-src_unpack() { :; }
-
-pkg_preinst() {
- if [ -z "${REPLACING_VERSIONS}" ] ; then
- local msg=""
- if [ -e "${D}"/boot/cmdline.txt -a -e "${ROOT}"/boot/cmdline.txt ] ; then
- msg+="/boot/cmdline.txt "
- fi
- if [ -e "${D}"/boot/config.txt -a -e "${ROOT}"/boot/config.txt ] ; then
- msg+="/boot/config.txt "
- fi
- if [ -n "${msg}" ] ; then
- msg="This package installs following files: ${msg}."
- msg="${msg} Please remove(backup) your copies during install"
- msg="${msg} and merge settings afterwards."
- msg="${msg} Further updates will be CONFIG_PROTECTed."
- die "${msg}"
- fi
- fi
-}
-
-src_install() {
- insinto /boot
- local a
- for a in ${A} ; do
- newins "${DISTDIR}"/${a} ${a#${PN}-${MY_COMMIT}-}
- done
- newins "${FILESDIR}"/${PN}-0_p20130711-config.txt config.txt
- newins "${FILESDIR}"/${PN}-0_p20130711-cmdline.txt cmdline.txt
- newenvd "${FILESDIR}"/${PN}-0_p20130711-envd 90${PN}
- readme.gentoo_create_doc
-}
-
-DOC_CONTENTS="Please configure your ram setup by editing /boot/config.txt"
diff --git a/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20150421.ebuild b/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20150421.ebuild
deleted file mode 100644
index de27b0f..0000000
--- a/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20150421.ebuild
+++ /dev/null
@@ -1,62 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sys-boot/raspberrypi-firmware/raspberrypi-firmware-1_pre20130807.ebuild,v 1.1 2013/08/15 18:21:47 xmw Exp $
-
-EAPI=5
-
-inherit readme.gentoo
-
-DESCRIPTION="Raspberry PI boot loader and firmware"
-HOMEPAGE="https://github.com/raspberrypi/firmware"
-MY_COMMIT="6cc27e02d"
-SRC_URI=""
-for my_src_uri in bootcode.bin fixup{,_cd,_x}.dat start{,_cd,_x}.elf ; do
- SRC_URI="${SRC_URI} https://github.com/raspberrypi/firmware/raw/${MY_COMMIT}/boot/${my_src_uri} -> ${PN}-${MY_COMMIT}-${my_src_uri}"
-done
-
-LICENSE="GPL-2 raspberrypi-videocore-bin"
-SLOT="0"
-KEYWORDS="~arm -*"
-IUSE=""
-
-DEPEND=""
-RDEPEND="!sys-boot/raspberrypi-loader"
-
-S=${WORKDIR}
-
-RESTRICT="binchecks strip"
-
-src_unpack() { :; }
-
-pkg_preinst() {
- if [ -z "${REPLACING_VERSIONS}" ] ; then
- local msg=""
- if [ -e "${D}"/boot/cmdline.txt -a -e "${ROOT}"/boot/cmdline.txt ] ; then
- msg+="/boot/cmdline.txt "
- fi
- if [ -e "${D}"/boot/config.txt -a -e "${ROOT}"/boot/config.txt ] ; then
- msg+="/boot/config.txt "
- fi
- if [ -n "${msg}" ] ; then
- msg="This package installs following files: ${msg}."
- msg="${msg} Please remove(backup) your copies during install"
- msg="${msg} and merge settings afterwards."
- msg="${msg} Further updates will be CONFIG_PROTECTed."
- die "${msg}"
- fi
- fi
-}
-
-src_install() {
- insinto /boot
- local a
- for a in ${A} ; do
- newins "${DISTDIR}"/${a} ${a#${PN}-${MY_COMMIT}-}
- done
- newins "${FILESDIR}"/${PN}-0_p20130711-config.txt config.txt
- newins "${FILESDIR}"/${PN}-0_p20130711-cmdline.txt cmdline.txt
- newenvd "${FILESDIR}"/${PN}-0_p20130711-envd 90${PN}
- readme.gentoo_create_doc
-}
-
-DOC_CONTENTS="Please configure your ram setup by editing /boot/config.txt"
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2016-02-19 22:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-02-19 22:01 [gentoo-commits] dev/xmw:master commit in: sys-boot/raspberrypi-firmware/files/, sys-boot/raspberrypi-firmware/ Michael Weber
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox