libjasmin-easycrypt-bin
MEDIUM
maintainer Herbrant
0 votes
scanned 2026-11-01 00:21:48.120785
Why flagged
The package downloads a prebuilt Debian binary from a non-standard, non-upstream host (repo.formosa-crypto.org), which is not the official project release infrastructure, creating a supply-chain risk if the host is compromised or malicious.
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:24
"${_pkgname}_${_debver}_amd64.deb::https://repo.formosa-crypto.org/debian/pool/main/j/jasmin-compiler/${_pkgname}_${_debver}_amd64.deb"
Medium
AI review
llm_review
An AI model (qwen/qwen3-235b-a22b-2507) reviewed this and agrees it is MEDIUM (confidence 85%): The package downloads a prebuilt Debian binary from a non-standard, non-upstream host (repo.formosa-crypto.org), which is not the official project release infrastructure, creating a supply-chain risk if the host is compromised or malicious.
PKGBUILD
1 offending line(s) highlighted
1
# Maintainer: Davide Carnemolla <herbrant@protonmail.com>
2
3
pkgname=libjasmin-easycrypt-bin
4
pkgver=2026.09.0
5
pkgrel=1
6
pkgdesc="EasyCrypt libraries used for verifying Jasmin implementations"
7
arch=('x86_64')
8
url="https://github.com/jasmin-lang/jasmin"
9
license=('MIT')
10
11
# Runtime dependencies available in official repositories
12
depends=()
13
14
# Tools required to extract the Debian package
15
makedepends=('binutils' 'tar')
16
17
# Debian packages
18
_pkgname=libjasmin-easycrypt
19
20
# Debian package version (may include dashes, unlike pkgver)
21
_debver="${pkgver}-1"
22
23
source=(
24
"${_pkgname}_${_debver}_amd64.deb::https://repo.formosa-crypto.org/debian/pool/main/j/jasmin-compiler/${_pkgname}_${_debver}_amd64.deb"
25
"LICENSE-${pkgver}::https://raw.githubusercontent.com/jasmin-lang/jasmin/v${pkgver}/LICENSE"
26
)
27
28
sha256sums=('950604d7ae822e2d892cf9007439686e3dde07efd7fe87169049cc1725781ce6'
29
'c7232c2cda11e4270104f2fd4bfbc7b368f536ad58271a9ad2775d1000aefc05')
30
31
package() {
32
cd "$srcdir"
33
34
# Extract the Debian package
35
ar x "${_pkgname}_${_debver}_amd64.deb"
36
37
# Extract data archive (format may vary)
38
if [ -f data.tar.xz ]; then
39
tar -xf data.tar.xz -C "$pkgdir"
40
elif [ -f data.tar.gz ]; then
41
tar -xf data.tar.gz -C "$pkgdir"
42
elif [ -f data.tar.zst ]; then
43
tar -xf data.tar.zst -C "$pkgdir"
44
fi
45
46
# The Debian copyright file is empty, so ship the upstream MIT license text
47
install -Dm644 "$srcdir/LICENSE-${pkgver}" \
48
"$pkgdir/usr/share/licenses/$pkgname/LICENSE"
49
50
# Drop the Debian documentation directory (empty copyright + changelog)
51
rm -rf "$pkgdir/usr/share/doc"
52
}
53
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-11-01 00:21:48 | Medium | 2 |
| 2026-10-31 00:07:41 | Medium | 2 |
| 2026-10-30 00:29:30 | Medium | 2 |
| 2026-10-29 00:13:55 | Medium | 2 |
| 2026-10-28 00:06:54 | Medium | 2 |
| 2026-10-27 00:23:28 | Medium | 2 |
| 2026-10-26 00:12:40 | Medium | 2 |
| 2026-10-25 00:20:48 | Medium | 2 |
| 2026-10-24 00:14:55 | Medium | 2 |
| 2026-10-23 00:02:19 | Medium | 2 |
| 2026-10-22 00:13:10 | Medium | 2 |
| 2026-10-21 00:12:50 | Medium | 2 |
| 2026-10-20 00:10:31 | Medium | 2 |
| 2026-10-19 00:03:55 | Medium | 2 |
| 2026-10-18 00:06:55 | Medium | 2 |
| 2026-10-17 00:21:55 | Medium | 2 |
| 2026-10-16 00:12:47 | Medium | 2 |
| 2026-10-15 00:28:05 | Medium | 2 |
| 2026-10-14 00:06:47 | Medium | 2 |
| 2026-10-13 00:23:45 | Medium | 2 |