minizinc-ide-git
LOW
maintainer FabioLolix
0 votes
scanned 2026-08-31 00:19:57.373659
Why flagged
The package builds from the official project Git repository, which is a normal AUR practice; the low severity is due to few votes and recent upload, not malicious content.
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 official project Git repository, which is a normal AUR practice; the low severity is due to few votes and recent upload, not malicious content.
PKGBUILD
1
# Maintainer: Fabio 'Lolix' Loli <fabio.loli@disroot.org> -> https://github.com/FabioLolix
2
3
pkgname=minizinc-ide-git
4
pkgver=2.10.0.r6.g29bf75d
5
pkgrel=1
6
pkgdesc="Integrated development environment for the high-level constraint modelling language MiniZinc"
7
arch=(x86_64)
8
url="https://github.com/MiniZinc/MiniZincIDE"
9
license=(MPL-2.0)
10
depends=(
11
glibc
12
libgcc
13
libstdc++
14
qt6-base
15
qt6-websockets
16
)
17
makedepends=(git)
18
provides=(minizinc-ide)
19
conflicts=(minizinc-ide)
20
source=("git+https://github.com/MiniZinc/MiniZincIDE.git")
21
sha256sums=('SKIP')
22
23
pkgver() {
24
cd MiniZincIDE
25
git describe --long --tags --abbrev=7 --exclude edge* | sed 's/\([^-]*-g\)/r\1/;s/-/./g'
26
}
27
28
# Disable all warnings
29
export CFLAGS+=" -w"
30
export CXXFLAGS+=" -w"
31
32
build() {
33
cd MiniZincIDE
34
qmake6
35
make
36
}
37
38
package() {
39
cd MiniZincIDE
40
make install INSTALL_ROOT="${pkgdir}/usr"
41
}
42
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-08-31 00:19:57 | Low | 2 |
| 2026-08-30 23:44:22 | Low | 2 |