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>
2pkgname='robot-karol'
3pkgver='3.0.4'
4pkgrel='1'
5pkgdesc='A programming environment for introducing children to programming and algorithm design.'
6url='https://www.mebis.bayern.de/infoportal/empfehlung/robot-karol/'
7arch=('any')
8license=('custom')
9depends=('java-runtime-headless=8' 'archlinux-java-run')
10makedepends=('gendesk' 'imagemagick' 'unzip')
11source=('https://www.mebis.bayern.de/wp-content/uploads/sites/2/2019/10/RobotKarol30_other.zip'
12 'LICENSE')
13sha256sums=('bd1b8243315a37da9fb6e75d3081e21c0deba6c3436aa17d8e20a4d4a03c1263'
14 'fdeab93675448f2dc577c6507c65ad65715025fb0ae005637ff4db6e3b1eeecc')
15
16prepare() {
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
22package() {
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
34cd /usr/share/java/${pkgname}
35archlinux-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)SeverityRules
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

Report a package

Reports go to the AURWatch maintainer (one person) and are read by hand. No login required.

0 / 4000
Your suggestion