diff options
| author | Jonas Hvid | 2025-04-07 12:34:04 +0200 |
|---|---|---|
| committer | Jonas Hvid | 2025-04-07 12:34:04 +0200 |
| commit | cf596c0e124f45277b9a0bd537f6ae8abde8fc01 (patch) | |
| tree | db40122b0d11795ddf07b589b7a2b229aa5b8038 | |
| parent | c624b3c4a7f3ba79ccae0507cdbae7613857e0ad (diff) | |
| download | aur-picat.tar.gz | |
Use HTTPS site for upstream URL
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ optdepends=('coin-or-cbc: CBC MIP support' 'glpk: GLPK MIP support' 'gurobi: Gurobi MIP support' 'z3: Z3 SMT support') -url='http://picat-lang.org/' +url='https://picat-lang.org/' license=('MPL-2.0') _pkgver=$(echo ${pkgver} | sed 's/\.//;s/#//') |