picat

MEDIUM

maintainer johv 3 votes scanned 2026-10-18 17:22:42.773931

View on AUR

Why flagged

One or more source=() URLs point to a host outside the trusted allowlist (github.com, gitlab.com, codeberg.org, pypi.org, …).

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:20 source=("https://picat-lang.org/download/${pkgname}${_pkgver//\./_}_src.tar.gz")

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Jonas Hvid <mail@johv.dk>
    
      2# Contributor: Alfredo Beaumont <alfredo.beaumont@gmail.com>
    
      3
    
      4pkgname='picat'
    
      5pkgver='3.9.12'
    
      6pkgrel=1
    
      7pkgdesc='A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.'
    
      8arch=('x86_64')
    
      9groups=()
    
      10depends=(glibc gcc-libs)
    
      11optdepends=('coin-or-cbc: CBC MIP support'
    
      12            'cvc4: CVC4 SMT support'
    
      13            'glpk: GLPK MIP support'
    
      14            'gurobi: Gurobi MIP support'
    
      15            'z3: Z3 SMT support')
    
      16url='https://picat-lang.org/'
    
      17license=('MPL-2.0')
    
      18
    
      19_pkgver=$(echo ${pkgver} | sed 's/\.//;s/#//')
    
      20source=("https://picat-lang.org/download/${pkgname}${_pkgver//\./_}_src.tar.gz")
    
      21b2sums=('3bc8cfc1ac6f694ed22f16e81b3cdd2f489c7d235975e716e372b02cbf92413d9a4b082534a3ca46f9468b4073d852cc24838d19dc0d5a487e0788e17f448a28')
    
      22
    
      23prepare() {
    
      24  # Inherit system-wide CFLAGS and LDFLAGS (/etc/makepkg.conf):
    
      25  cd "$srcdir/Picat/emu"
    
      26  sed -i 's/CFLAGS = /CFLAGS += /' Makefile.linux64
    
      27  sed -i 's/LFLAGS = /&$(LDFLAGS) -Wl,-z,shstk /' Makefile.linux64
    
      28
    
      29  # As of GCC 15 (?), gnu23 is the default, but it seems like Picat
    
      30  # may require the older gnu17. Check in the future if this is still
    
      31  # the case. (2025-09-18)
    
      32  sed -i '/^CC *= gcc/aCC += -std=gnu17' Makefile.linux64
    
      33}
    
      34
    
      35build() {
    
      36  cd "$srcdir/Picat/emu"
    
      37  make -f Makefile.linux64
    
      38}
    
      39
    
      40package() {
    
      41  install -m644 "$srcdir/Picat/LICENSE" -Dt "$pkgdir/usr/share/licenses/$pkgname"
    
      42  install -m755 "$srcdir/Picat/emu/picat" -Dt "$pkgdir/usr/bin"
    
      43  install -m644 "$srcdir/Picat/lib/"* -Dt "$pkgdir/usr/lib/$pkgname"
    
      44  install -m644 "$srcdir/Picat/doc/"* -Dt "$pkgdir/usr/share/doc/$pkgname"
    
      45}
    
      46

Changes since previous scan

--- PKGBUILD @ 2026-06-19 19:07
+++ PKGBUILD @ 2026-10-18 17:22
@@ -2,7 +2,7 @@
 # Contributor: Alfredo Beaumont <alfredo.beaumont@gmail.com>
 
 pkgname='picat'
-pkgver='3.9.5'
+pkgver='3.9.12'
 pkgrel=1
 pkgdesc='A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.'
 arch=('x86_64')
@@ -17,8 +17,8 @@
 license=('MPL-2.0')
 
 _pkgver=$(echo ${pkgver} | sed 's/\.//;s/#//')
-source=("https://picat-lang.org/download/${pkgname}${pkgver//\./}_src.tar.gz")
-b2sums=('e244bf86de711e9235074a60fe9e506300d13ed5aed37f44930ca00e5845bfb3e049b413d08e8eefbe61c1b35dcc1ccd11315ddce9cc3e71b410ed0e8146600c')
+source=("https://picat-lang.org/download/${pkgname}${_pkgver//\./_}_src.tar.gz")
+b2sums=('3bc8cfc1ac6f694ed22f16e81b3cdd2f489c7d235975e716e372b02cbf92413d9a4b082534a3ca46f9468b4073d852cc24838d19dc0d5a487e0788e17f448a28')
 
 prepare() {
   # Inherit system-wide CFLAGS and LDFLAGS (/etc/makepkg.conf):

Scan history

Scanned at (UTC)	Severity	Rules
2026-10-18 17:22:42	Medium	1
2026-06-19 19:07:35	Clean	2
2026-06-18 16:11:54	Medium	1