| Fri, 25 Nov 2022 20:18:10 +0100 | wenzelm | more standard component build process; | changeset | files |
| Fri, 25 Nov 2022 20:17:54 +0100 | wenzelm | proper treatment of tar.gz double-extension; | changeset | files |
| Fri, 25 Nov 2022 16:20:14 +0100 | wenzelm | proper download, instead of assuming local directory; | changeset | files |