sail-isa-spec

maintainer inochi · 0 votes · scanned 2026-08-18 00:03:42.021799

LOW

Why flagged The package builds from the project's own git repository, which is a normal AUR practice; the low vote count and recent upload are noted but do not indicate active malice or supply-chain compromise.

Triggered rules

LOW Few votes, recently uploaded zero_votes_recent

Uploaded within the last 14 days with 2 or fewer community votes — little peer review so far.

LOW AI review llm_review

An AI model (qwen/qwen3-235b-a22b-2507) reviewed this and agrees it is LOW (confidence 95%): The package builds from the project's own git repository, which is a normal AUR practice; the low vote count and recent upload are noted but do not indicate active malice or supply-chain compromise.

PKGBUILD

      1# Maintainer: Inochi Amaoto <inochiama@gmail.com>
    
      2
    
      3pkgname=sail-isa-spec
    
      4pkgver=0.20.2
    
      5pkgrel=1
    
      6pkgdesc="Sail architecture definition language"
    
      7arch=('x86_64')
    
      8url="https://github.com/rems-project/sail"
    
      9license=(BSD-2-Clause)
    
      10depends=('ocaml')
    
      11options=('!strip')
    
      12makedepends=('git' 'dune' 'opam')
    
      13source=("git+https://github.com/rems-project/sail.git#branch=sail2")
    
      14sha512sums=('SKIP')
    
      15
    
      16build() {
    
      17	cd $srcdir/sail
    
      18	opam switch create 5.1.0 || true
    
      19	eval $(opam env --switch=5.1.0)
    
      20	opam install . -y --deps-only
    
      21	dune build --release
    
      22}
    
      23
    
      24package() {
    
      25	cd $srcdir/sail
    
      26
    
      27	DESTDIR=$pkgdir dune install \
    
      28		   --prefix "/usr" \
    
      29		   --libdir "/usr/lib/ocaml" \
    
      30		   --docdir "/usr/share/doc"
    
      31
    
      32	# Move doc
    
      33	# mv $pkgdir/usr/share/doc/${_ocamlname} $pkgdir/usr/share/doc/$pkgname
    
      34
    
      35	# Move license file
    
      36	install -d $pkgdir/usr/share/licenses/$pkgname
    
      37	cp $srcdir/sail/LICENSE $pkgdir/usr/share/licenses/$pkgname
    
      38}
    
      39

Changes since previous scan

--- PKGBUILD @ 2026-08-14 13:29
+++ PKGBUILD @ 2026-08-18 00:03
@@ -5,11 +5,11 @@
 pkgrel=1
 pkgdesc="Sail architecture definition language"
 arch=('x86_64')
-url="https://opam.ocaml.org"
-license=(custom)
-depends=('dune' 'ocaml' 'opam')
+url="https://github.com/rems-project/sail"
+license=(BSD-2-Clause)
+depends=('ocaml')
 options=('!strip')
-makedepends=('git')
+makedepends=('git' 'dune' 'opam')
 source=("git+https://github.com/rems-project/sail.git#branch=sail2")
 sha512sums=('SKIP')
 

Scan history

Scanned at (UTC)	Severity	Rules
2026-08-18 00:03:42	LOW	2
2026-08-17 00:18:29	LOW	2
2026-08-16 00:03:42	LOW	2
2026-08-15 00:26:13	LOW	2
2026-08-14 23:30:04	LOW	2
2026-08-14 13:29:16	LOW	2