robot-karol
maintainer ChaosKid42
· 0 votes
· scanned 2026-08-03 00:08:14.047287
LOW
View on AUR ↗
Why flagged
The source is a project-specific archive from an official educational provider's domain, used to build a Java application; the host, while not a standard forge, is plausibly legitimate and the content is verified via checksum.
Triggered rules
LOW
AI review downgraded a static finding
llm_review
The static rules flagged this MEDIUM, but an AI model (qwen/qwen3-235b-a22b-07-25) reviewed the full PKGBUILD and judged it LOW (confidence 95%): The source is a project-specific archive from an official educational provider's domain, used to build a Java application; the host, while not a standard forge, is plausibly legitimate and the content is verified via checksum.
1 higher static finding superseded - not the current verdict (shown for transparency)
MEDIUM
source=() URL on a non-standard host
source_untrusted_domain
One or more source=() URLs point to a host outside the trusted allowlist (github.com, gitlab.com, codeberg.org, pypi.org, …).
-
PKGBUILD:11
source=('https://www.mebis.bayern.de/wp-content/uploads/sites/2/2019/10/RobotKarol30_other.zip'
PKGBUILD
1 offending line(s) highlighted
1
# Maintainer: Christoph Scholz <christoph.scholz@gmail.com>
2
pkgname='robot-karol'
3
pkgver='3.0.4'
4
pkgrel='1'
5
pkgdesc='A programming environment for introducing children to programming and algorithm design.'
6
url='https://www.mebis.bayern.de/infoportal/empfehlung/robot-karol/'
7
arch=('any')
8
license=('custom')
9
depends=('java-runtime-headless=8' 'archlinux-java-run')
10
makedepends=('gendesk' 'imagemagick' 'unzip')
11
source=('https://www.mebis.bayern.de/wp-content/uploads/sites/2/2019/10/RobotKarol30_other.zip'
12
'LICENSE')
13
sha256sums=('bd1b8243315a37da9fb6e75d3081e21c0deba6c3436aa17d8e20a4d4a03c1263'
14
'fdeab93675448f2dc577c6507c65ad65715025fb0ae005637ff4db6e3b1eeecc')
15
16
prepare() {
17
unzip -j "${srcdir}/RobotKarol.jar" "icons/Karol.ico"
18
convert "${srcdir}/Karol.ico" "${srcdir}/${pkgname}.png"
19
gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc"
20
}
21
22
package() {
23
install -D -m644 "${srcdir}/RobotKarol.jar" "${pkgdir}/usr/share/java/${pkgname}/${pkgname}-${pkgver}.jar"
24
install -D -m644 "${srcdir}/tipps.txt" "${pkgdir}/usr/share/java/${pkgname}/tipps.txt"
25
install -D -m644 "${srcdir}/karol.prop" "${pkgdir}/usr/share/java/${pkgname}/karol.prop"
26
install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
27
install -D -m644 "${srcdir}/Dokumentation/Karol30Handbuch.pdf" "${pkgdir}/usr/share/doc/${pkgname}/Karol30Handbuch.pdf"
28
mkdir -p -m755 "${pkgdir}/usr/share/doc/${pkgname}/examples"
29
cp ${srcdir}/Beispiele/* "${pkgdir}/usr/share/doc/${pkgname}/examples"
30
install -D -m644 "${srcdir}/${pkgname}.png" "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
31
install -D -m644 "${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop"
32
mkdir -p -m755 "${pkgdir}/usr/bin/"
33
printf "#!/bin/sh
34
cd /usr/share/java/${pkgname}
35
archlinux-java-run --min 8 -- -jar /usr/share/java/${pkgname}/${pkgname}-${pkgver}.jar
36
" >> "${pkgdir}/usr/bin/${pkgname}"
37
chmod +x "${pkgdir}/usr/bin/${pkgname}"
38
39
}
40
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-08-03 00:08:14 | LOW | 2 |
| 2026-08-02 00:16:08 | LOW | 2 |
| 2026-08-01 00:11:18 | LOW | 2 |
| 2026-07-31 00:14:10 | LOW | 2 |
| 2026-07-30 00:17:23 | LOW | 2 |
| 2026-07-29 00:25:53 | LOW | 2 |
| 2026-07-28 00:07:28 | LOW | 2 |
| 2026-07-27 00:24:32 | LOW | 2 |
| 2026-07-26 00:07:32 | LOW | 2 |
| 2026-07-25 00:13:44 | LOW | 2 |
| 2026-07-24 00:02:28 | LOW | 2 |
| 2026-07-23 00:14:47 | LOW | 2 |
| 2026-07-22 00:29:32 | LOW | 2 |
| 2026-07-21 00:24:15 | LOW | 2 |
| 2026-07-20 00:19:49 | LOW | 2 |
| 2026-07-19 00:17:08 | LOW | 2 |
| 2026-07-18 00:14:48 | LOW | 2 |
| 2026-07-17 00:06:16 | LOW | 2 |
| 2026-07-16 00:05:41 | LOW | 2 |
| 2026-07-15 00:09:25 | LOW | 2 |