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-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 |