minizinc-ide

maintainer FabioLolix · 11 votes · scanned 2026-08-18 01:38:17.845211

MEDIUM

Why flagged This package was orphaned and re-adopted within the last 30 days — a window where ownership transfers can introduce malicious changes.

Triggered rules

MEDIUM Recently orphaned & re-adopted orphaned_readopted

This package was orphaned and re-adopted within the last 30 days — a window where ownership transfers can introduce malicious changes.

PKGBUILD

      1# Maintainer: Dimitris Pappas <mitsakosgr at gmail dot com>
    
      2# Contributor: Fabio Tardivo <x95a31x at gmail dot com>
    
      3pkgname=minizinc-ide
    
      4pkgver=2.9.3
    
      5pkgrel=1
    
      6pkgdesc="Simple IDE for writing and running MiniZinc models"
    
      7arch=(x86_64)
    
      8url=http://www.minizinc.org/ide/
    
      9license=(MPL2)
    
      10provides=(minizinc)
    
      11options=(!strip)
    
      12install=$pkgname.install
    
      13conflicts=(
    
      14	libminizinc
    
      15	minizinc-ide-edge
    
      16)
    
      17source=(
    
      18    minizinc-ide.desktop
    
      19    https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png
    
      20    https://github.com/MiniZinc/MiniZincIDE/releases/download/$pkgver/MiniZincIDE-$pkgver-bundle-linux-$arch.tgz
    
      21)
    
      22
    
      23# Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90
    
      24# implemented in .desktop file, by adding it as environment variable
    
      25
    
      26package() {    
    
      27    # Create MiniZinc directory
    
      28    mkdir -p $pkgdir/opt/$pkgname   
    
      29    
    
      30    # Copy MiniZinc files    
    
      31    cp -r $srcdir/MiniZincIDE-$pkgver-bundle-linux-$arch/* $pkgdir/opt/$pkgname
    
      32    
    
      33    # Copy MiniZinc launcher
    
      34    mkdir -p $pkgdir/usr/share/applications
    
      35    mkdir -p $pkgdir/opt/$pkgname/resources
    
      36    cp $srcdir/icon.png $pkgdir/opt/$pkgname/resources/icon.png
    
      37    cp $srcdir/minizinc-ide.desktop $pkgdir/usr/share/applications/minizinc-ide.desktop
    
      38}
    
      39
    
      40sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
    
      41            'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
    
      42            'c91173aad2bc2d5dda19e8436428201417beae348a66ab2ce934de6763b444e0')
    
      43

Scan history

Scanned at (UTC)	Severity	Rules
2026-08-18 01:38:17	MEDIUM	1
2026-06-18 16:11:54	CLEAN	0