Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / idris
Commits:
248ff672 by Felix Yan at 2025-10-14T00:00:24+08:00
upgpkg: 1.3.4-460: rebuild with cabal-fmt 0.1.7, cabal-install 3.10.3.0,
cabal-install-parsers 0.6.1.1, cabal-install-solver 3.10.3.0,
filepath-bytestring 1.5.2.0.1, fourmolu 0.12.0.0, ghc 9.6.6, ghc-exactprint
1.7.1.0, ghc-lib-parser 9.6.6.20240701, ghc-lib-parser-ex 9.6.0.2,
ghc-syntax-highlighter 0.0.10.0, hlint 3.6, ormolu 0.6.0.0, spdx 1.1,
stylish-haskell 0.14.5.0
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = idris
pkgdesc = Functional Programming Language with Dependent Types
pkgver = 1.3.4
- pkgrel = 459
+ pkgrel = 460
url = https://www.idris-lang.org/
arch = x86_64
license = BSD
@@ -42,6 +42,8 @@ pkgbase = idris
depends = haskell-vector-binary-instances
depends = haskell-zip-archive
source =
https://github.com/idris-lang/Idris-dev/archive/v1.3.4/idris-1.3.4.tar.gz
+ source =
idris-mtl2.3.patch::https://github.com/idris-lang/Idris-dev/commit/71f4da9bf1aa4b3ca57d9c0b63c736b303e04780.patch
sha512sums =
5c081c34cf09c130b213626e5cc4f85ae82fef3f7ac1c76636e497a472b31a638c829e29dfe81b9a240a068736fd27db0de592be9d1b48956b809908a913ad64
+ sha512sums =
c5e91c5372cb92ca8aefa31b84173df05cc44d90932ee948331e826458407fbb9fb94a7dc6c55db40ed6a694a0330bd8d0924b99f9d1ccd44a7b3ad33e7049eb
pkgname = idris
=====================================
PKGBUILD
=====================================
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.4
-pkgrel=459
+pkgrel=460
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/";
license=("BSD")
@@ -18,14 +18,17 @@ depends=('ghc-libs' 'haskell-aeson'
'haskell-annotated-wl-pprint' 'haskell-ansi-
'haskell-vector-binary-instances' 'haskell-zip-archive')
makedepends=('ghc' 'uusi' 'haskell-tagged' 'haskell-tasty'
'haskell-tasty-golden' 'haskell-tasty-rerun'
'nodejs')
-source=("https://github.com/idris-lang/Idris-dev/archive/v$pkgver/$pkgname-$pkgver.tar.gz";)
-sha512sums=('5c081c34cf09c130b213626e5cc4f85ae82fef3f7ac1c76636e497a472b31a638c829e29dfe81b9a240a068736fd27db0de592be9d1b48956b809908a913ad64')
+source=("https://github.com/idris-lang/Idris-dev/archive/v$pkgver/$pkgname-$pkgver.tar.gz";
+
"idris-mtl2.3.patch::https://github.com/idris-lang/Idris-dev/commit/71f4da9bf1aa4b3ca57d9c0b63c736b303e04780.patch";)
+sha512sums=('5c081c34cf09c130b213626e5cc4f85ae82fef3f7ac1c76636e497a472b31a638c829e29dfe81b9a240a068736fd27db0de592be9d1b48956b809908a913ad64'
+
'c5e91c5372cb92ca8aefa31b84173df05cc44d90932ee948331e826458407fbb9fb94a7dc6c55db40ed6a694a0330bd8d0924b99f9d1ccd44a7b3ad33e7049eb')
prepare() {
cd Idris-dev-$pkgver
sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
libs/*/Makefile
- uusi -u Cabal -u aeson -u ansi-terminal -u ansi-wl-pprint -u bytestring -u
fsnotify -u network -u libffi -u optparse-applicative -u text -u vector
+ patch -p1 < ../idris-mtl2.3.patch
+ uusi -u Cabal -u aeson -u ansi-terminal -u ansi-wl-pprint -u bytestring -u
fsnotify -u network -u libffi -u optparse-applicative -u text -u transformers
-u unix -u vector
}
build() {
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/idris/-/commit/248ff672d7919fbbd8b21a6d88001962abb29f55
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/idris/-/commit/248ff672d7919fbbd8b21a6d88001962abb29f55
You're receiving this email because of your account on gitlab.archlinux.org.
