miranda
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
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)
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# Maintainer: Mort Yao <soi@mort.ninja>
# Contributor: Kory Woods <kory _at_ virlo >dot< net>
# Contributor: Aleix Pol <aleixpol@kde.org>
pkgname=miranda
pkgver=2.066
pkgrel=1
pkgdesc='Miranda programming language'
url='http://miranda.org.uk/'
license=('custom')
arch=('x86_64')
source=("https://www.cs.kent.ac.uk/people/staff/dat/miranda/src/mira-2066-src.tgz")
md5sums=('bd3f5b79b0f46ffeb867d26a5266f0f7')
build() {
cd $pkgname
make cleanup
make
}
package() {
cd $pkgname
make -s all
install -Dm755 mira $pkgdir/usr/bin/mira
install -Dm755 mira.1 $pkgdir/usr/share/man/man1/mira.1
mkdir -p $pkgdir/usr/lib/miralib
cp -r miralib/ $pkgdir/usr/lib/
}
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-09-17 00:27:14 | Low | 2 |
| 2026-09-16 00:03:17 | Low | 2 |
| 2026-09-15 00:25:31 | Low | 2 |
| 2026-09-14 00:27:57 | Low | 2 |
| 2026-09-13 00:19:54 | Low | 2 |
| 2026-09-12 00:25:17 | Low | 2 |
| 2026-09-11 00:19:22 | Low | 2 |
| 2026-09-10 00:22:44 | Low | 2 |
| 2026-09-09 00:04:09 | Low | 2 |
| 2026-09-08 00:18:08 | Low | 2 |
| 2026-09-07 00:30:15 | Low | 2 |
| 2026-09-06 00:17:06 | Low | 2 |
| 2026-09-05 00:16:27 | Low | 2 |
| 2026-09-04 00:03:13 | Low | 2 |
| 2026-09-03 00:15:47 | Low | 2 |
| 2026-09-02 00:02:31 | Low | 2 |
| 2026-09-01 00:11:19 | Low | 2 |
| 2026-08-31 00:19:57 | Low | 2 |
| 2026-08-30 00:04:14 | Low | 2 |
| 2026-08-29 00:29:17 | Low | 2 |