miranda

LOW
maintainer soimort 10 votes scanned 2026-11-01 00:21:48.120785
View on AUR
Why flagged

The source is a tarball from a university-hosted academic project page, which is a plausible official source for the Miranda language; building from source is normal for AUR packages, and the host, while not whitelisted, is a legitimate academic institution's site.

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 tarball from a university-hosted academic project page, which is a plausible official source for the Miranda language; building from source is normal for AUR packages, and the host, while not whitelisted, is a legitimate academic institution's site.

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:12 source=("https://www.cs.kent.ac.uk/people/staff/dat/miranda/src/mira-2066-src.tgz")

PKGBUILD

1 offending line(s) highlighted
1# Maintainer: Mort Yao <soi@mort.ninja>
2# Contributor: Kory Woods <kory _at_ virlo >dot< net>
3# Contributor: Aleix Pol <aleixpol@kde.org>
4
5pkgname=miranda
6pkgver=2.066
7pkgrel=1
8pkgdesc='Miranda programming language'
9url='http://miranda.org.uk/'
10license=('custom')
11arch=('x86_64')
12source=("https://www.cs.kent.ac.uk/people/staff/dat/miranda/src/mira-2066-src.tgz")
13md5sums=('bd3f5b79b0f46ffeb867d26a5266f0f7')
14
15build() {
16 cd $pkgname
17
18 make cleanup
19 make
20}
21
22package() {
23 cd $pkgname
24
25 make -s all
26 install -Dm755 mira $pkgdir/usr/bin/mira
27 install -Dm755 mira.1 $pkgdir/usr/share/man/man1/mira.1
28 mkdir -p $pkgdir/usr/lib/miralib
29 cp -r miralib/ $pkgdir/usr/lib/
30}
31

Scan history

Scanned at (UTC)SeverityRules
2026-11-01 00:21:48 Low 2
2026-10-31 00:07:41 Low 2
2026-10-30 00:29:30 Low 2
2026-10-29 00:13:55 Low 2
2026-10-28 00:06:54 Low 2
2026-10-27 00:23:28 Low 2
2026-10-26 00:12:40 Low 2
2026-10-25 00:20:48 Low 2
2026-10-24 00:14:55 Low 2
2026-10-23 00:02:19 Low 2
2026-10-22 00:13:10 Low 2
2026-10-21 00:12:50 Low 2
2026-10-20 00:10:31 Low 2
2026-10-19 00:03:55 Low 2
2026-10-18 00:06:55 Low 2
2026-10-17 00:21:55 Low 2
2026-10-16 00:12:47 Low 2
2026-10-15 00:28:05 Low 2
2026-10-14 00:06:47 Low 2
2026-10-13 00:23:45 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