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