ocaml-typerex
The source is a tarball from the project's official domain (typerex.org), which is plausibly the project's own release infrastructure; building from official project sources is normal for AUR packages, even if the host is not on a whitelist.
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 the project's official domain (typerex.org), which is plausibly the project's own release infrastructure; building from official project sources is normal for AUR packages, even if the host is not on a whitelist.
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.typerex.org/pub/typerex/typerex.${_pkgver}.tar.gz")
PKGBUILD
1 offending line(s) highlighted# Maintainer: Serge Zirukin <ftrvxmtrx@gmail.com>
pkgname=ocaml-typerex
pkgver=1.99.7b
_pkgver=1.99.7-beta
pkgrel=2
pkgdesc="TypeRex is a powerful development environment for OCaml."
arch=("i686" "x86_64")
url="http://www.typerex.org/"
license=("GPLv3")
depends=("emacs" "ocaml>=3.11.2")
source=("https://www.typerex.org/pub/typerex/typerex.${_pkgver}.tar.gz")
sha256sums=('1a11a2c9ee1663cf91b819eb638549209efa618d0a0b78e2827a8bdd405b2443')
build() {
cd "$srcdir/${pkgname/ocaml-/}-${pkgver}"
./configure --prefix="${pkgdir}/usr"
make
sed "s|${pkgdir}[/]*|/|g" -i emacs.append
}
package() {
cd "$srcdir/${pkgname/ocaml-/}-${pkgver}"
extra="${pkgdir}/usr/share"
make install
install -d "${extra}/"{licenses,,doc}"/${pkgname}"
install -m 0644 -t "${extra}/licenses/${pkgname}" LICENSE*
install -m 0644 -t "${extra}/${pkgname}" emacs.append
install -m 0644 -t "${extra}/doc/${pkgname}" docs/user-manual/*.pdf
}
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 |