Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / 
haskell-bv-sized


Commits:
50dc25ba by Felix Yan at 2024-02-26T13:43:04+00:00
upgpkg: 1.0.5-68: rebuild with GHC 9.2.8, apply-refact 0.11.0.0, 
doctest-parallel 0.3.1, filepath-bytestring 1.4.2.1.13, fourmolu 0.9.0.0, 
ghc-exactprint 1.5.0, ghc-lib-parser 9.2.8.20230729, ghc-lib-parser-ex 9.2.1.1, 
ormolu 0.5.0.1, resolv 0.2.0.2, stylish-haskell 0.14.3.0

- - - - -


2 changed files:

- .SRCINFO
- PKGBUILD


Changes:

=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
 pkgbase = haskell-bv-sized
        pkgdesc = A bitvector datatype that is parameterized by the vector width
        pkgver = 1.0.5
-       pkgrel = 67
+       pkgrel = 68
        url = https://github.com/GaloisInc/bv-sized
        arch = x86_64
        license = BSD


=====================================
PKGBUILD
=====================================
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.5
-pkgrel=67
+pkgrel=68
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized";
 license=('BSD')
@@ -25,7 +25,7 @@ build() {
     
     runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
         --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname 
--enable-tests \
-        --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid 
--ghc-option=-fllvm
+        --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
     runhaskell Setup build $MAKEFLAGS
     runhaskell Setup register --gen-script
     runhaskell Setup unregister --gen-script



View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-bv-sized/-/commit/50dc25babab92467a6b3ce8d385ddc8b1c32c057

-- 
View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-bv-sized/-/commit/50dc25babab92467a6b3ce8d385ddc8b1c32c057
You're receiving this email because of your account on gitlab.archlinux.org.


Reply via email to