jasmin-compiler-bin
MEDIUM
maintainer Herbrant
0 votes
scanned 2026-09-17 00:27:14.276658
Why flagged
The package downloads prebuilt Debian binaries from a non-standard, project-specific repository (repo.formosa-crypto.org), which is not a widely recognized or audited distribution source, creating a supply-chain risk if the host were compromised or the binaries tampered with.
Triggered rules
Medium
source=() URL on a non-standard host
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:31
"${_pkgname}_${_jasmin_debver}_amd64.deb::https://repo.formosa-crypto.org/debian/pool/main/j/${_pkgname}/${_pkgname}_${_jasmin_debver}_amd64.deb"
Medium
AI review
llm_review
An AI model (qwen/qwen3-235b-a22b-2507) reviewed this and agrees it is MEDIUM (confidence 95%): The package downloads prebuilt Debian binaries from a non-standard, project-specific repository (repo.formosa-crypto.org), which is not a widely recognized or audited distribution source, creating a supply-chain risk if the host were compromised or the binaries tampered with.
PKGBUILD
1 offending line(s) highlighted
1
# Maintainer: Davide Carnemolla <herbrant@protonmail.com>
2
3
pkgname=jasmin-compiler-bin
4
pkgver=2026.03.2
5
pkgrel=2
6
pkgdesc="Compiler for the Jasmin language for high-assurance and high-speed cryptography"
7
arch=('x86_64')
8
url="https://github.com/jasmin-lang/jasmin"
9
license=('MIT')
10
11
depends=(
12
'ocaml'
13
'gmp'
14
'mpfr'
15
'ppl'
16
)
17
18
makedepends=('binutils' 'tar')
19
20
# Upstream ships fully stripped binaries: skip strip/debug package generation
21
options=('!strip' '!debug')
22
23
# Debian packages
24
_pkgname="jasmin-compiler"
25
26
# Debian package versions
27
_jasmin_debver="${pkgver}-1"
28
_apron_debver="0.9.15-1"
29
30
source=(
31
"${_pkgname}_${_jasmin_debver}_amd64.deb::https://repo.formosa-crypto.org/debian/pool/main/j/${_pkgname}/${_pkgname}_${_jasmin_debver}_amd64.deb"
32
"libapron_${_apron_debver}_amd64.deb::https://repo.formosa-crypto.org/debian/pool/main/a/apron/libapron_${_apron_debver}_amd64.deb"
33
)
34
35
sha256sums=('4835908c5f00d13390cc41959ddaaf3cd2436be795e5bf7fdab4e888c49915c3' 'c32aa0507c4afa33063bc8bb7bf64c1782684b723301ae35061736363a4ee555')
36
37
package() {
38
cd "$srcdir"
39
40
# Extract Jasmin compiler
41
ar x "${_pkgname}_${_jasmin_debver}_amd64.deb"
42
for f in data.tar.*; do
43
[ -f "$f" ] && tar -xf "$f" -C "$pkgdir"
44
done
45
46
# Extract Apron libraries
47
ar x "libapron_${_apron_debver}_amd64.deb"
48
for f in data.tar.*; do
49
[ -f "$f" ] && tar -xf "$f" -C "$pkgdir"
50
done
51
52
# Shared libraries must be executable
53
chmod 755 "$pkgdir"/usr/lib/*.so
54
55
# Remove Debian-specific changelog files
56
rm -f "$pkgdir"/usr/share/doc/*/changelog.Debian* \
57
"$pkgdir"/usr/share/doc/*/changelog.gz
58
59
# Upstream ships an empty debian/copyright, the real license lives in /usr/doc
60
install -Dm644 "$pkgdir/usr/doc/jasmin/LICENSE" \
61
"$pkgdir/usr/share/licenses/$pkgname/LICENSE"
62
63
# Move docs out of the non-standard /usr/doc
64
install -Dm644 "$pkgdir/usr/doc/jasmin/README.md" \
65
"$pkgdir/usr/share/doc/$_pkgname/README.md"
66
rm -rf "$pkgdir/usr/doc"
67
rm -f "$pkgdir/usr/share/doc/$_pkgname/copyright" \
68
"$pkgdir/usr/share/doc/libapron/copyright"
69
}
70
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-09-17 00:27:14 | Medium | 2 |
| 2026-09-16 00:03:17 | Medium | 2 |
| 2026-09-15 00:25:31 | Medium | 2 |
| 2026-09-14 00:27:57 | Medium | 2 |
| 2026-09-13 00:19:54 | Medium | 2 |
| 2026-09-12 00:25:17 | Medium | 2 |
| 2026-09-11 00:19:22 | Medium | 2 |
| 2026-09-10 00:22:44 | Medium | 2 |
| 2026-09-09 00:04:09 | Medium | 2 |
| 2026-09-08 00:18:08 | Medium | 2 |
| 2026-09-07 00:30:15 | Medium | 2 |
| 2026-09-06 00:17:06 | Medium | 2 |
| 2026-09-05 00:16:27 | Medium | 2 |
| 2026-09-04 00:03:13 | Medium | 2 |
| 2026-09-03 00:15:47 | Medium | 2 |
| 2026-09-02 00:02:31 | Medium | 2 |
| 2026-09-01 00:11:19 | Medium | 2 |
| 2026-08-31 00:19:57 | Medium | 2 |
| 2026-08-30 00:04:14 | Medium | 2 |
| 2026-08-29 00:29:17 | Medium | 2 |