Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / agda
Commits:
f49292fd by Felix Yan at 2023-11-23T21:18:35+02:00
upgpkg: 2.6.4-1
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = agda
pkgdesc = A dependently typed functional programming language and proof
assistant
- pkgver = 2.6.3
- pkgrel = 38
+ pkgver = 2.6.4
+ pkgrel = 1
url = https://wiki.portal.chalmers.se/agda/
arch = x86_64
license = custom
@@ -13,6 +13,7 @@ pkgbase = agda
depends = ghc
depends = haskell-stmonadtrans
depends = haskell-aeson
+ depends = haskell-ansi-terminal
depends = haskell-async
depends = haskell-blaze-html
depends = haskell-boxes
@@ -27,6 +28,7 @@ pkgbase = agda
depends = haskell-monad-control
depends = haskell-murmur-hash
depends = haskell-parallel
+ depends = haskell-peano
depends = haskell-regex-tdfa
depends = haskell-split
depends = haskell-strict
@@ -36,8 +38,9 @@ pkgbase = agda
depends = haskell-vector
depends = haskell-vector-hashtables
depends = haskell-zlib
+ depends = haskell-text-icu
optdepends = agda-stdlib: for standard library
- source =
https://hackage.haskell.org/packages/archive/Agda/2.6.3/Agda-2.6.3.tar.gz
- sha512sums =
005152c19b05d858a54d146b75c9a88bf87e7d1cbcaee237ea92f273c8c59e9cf7177d6d553ddf6246a74c7ab318ceac909c0bb981599fc5bb156a7b79d1234d
+ source =
https://hackage.haskell.org/packages/archive/Agda/2.6.4/Agda-2.6.4.tar.gz
+ sha512sums =
09b278dfb299779b02358e68a91f9d10e25083447810363ef0dbefdcdfc16070207c8c7272d2cb842ee77e67f1bd5d13007e3121c3f021107b4f6b6c4a82313a
pkgname = agda
=====================================
PKGBUILD
=====================================
@@ -3,23 +3,24 @@
_hkgname=Agda
pkgname=agda
-pkgver=2.6.3
-pkgrel=38
+pkgver=2.6.4
+pkgrel=1
pkgdesc="A dependently typed functional programming language and proof
assistant"
url="https://wiki.portal.chalmers.se/agda/";
license=("custom")
arch=('x86_64')
-depends=('ghc-libs' 'ghc' 'haskell-stmonadtrans' 'haskell-aeson'
'haskell-async'
- 'haskell-blaze-html' 'haskell-boxes' 'haskell-case-insensitive'
'haskell-cpphs'
- 'haskell-data-hash' 'haskell-dlist' 'haskell-edit-distance'
'haskell-equivalence'
- 'haskell-gitrev' 'haskell-hashable' 'haskell-monad-control'
'haskell-murmur-hash'
- 'haskell-parallel' 'haskell-regex-tdfa' 'haskell-split'
'haskell-strict'
- 'haskell-time-compat' 'haskell-unordered-containers'
'haskell-uri-encode' 'haskell-vector'
- 'haskell-vector-hashtables' 'haskell-zlib')
+depends=('ghc-libs' 'ghc' 'haskell-stmonadtrans' 'haskell-aeson'
'haskell-ansi-terminal'
+ 'haskell-async' 'haskell-blaze-html' 'haskell-boxes'
'haskell-case-insensitive'
+ 'haskell-cpphs' 'haskell-data-hash' 'haskell-dlist'
'haskell-edit-distance'
+ 'haskell-equivalence' 'haskell-gitrev' 'haskell-hashable'
'haskell-monad-control'
+ 'haskell-murmur-hash' 'haskell-parallel' 'haskell-peano'
'haskell-regex-tdfa'
+ 'haskell-split' 'haskell-strict' 'haskell-time-compat'
'haskell-unordered-containers'
+ 'haskell-uri-encode' 'haskell-vector' 'haskell-vector-hashtables'
'haskell-zlib'
+ 'haskell-text-icu')
optdepends=('agda-stdlib: for standard library')
makedepends=('uusi' 'alex' 'happy' 'ghc')
source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz";)
-sha512sums=('005152c19b05d858a54d146b75c9a88bf87e7d1cbcaee237ea92f273c8c59e9cf7177d6d553ddf6246a74c7ab318ceac909c0bb981599fc5bb156a7b79d1234d')
+sha512sums=('09b278dfb299779b02358e68a91f9d10e25083447810363ef0dbefdcdfc16070207c8c7272d2cb842ee77e67f1bd5d13007e3121c3f021107b4f6b6c4a82313a')
prepare() {
cd $_hkgname-$pkgver
@@ -35,7 +36,7 @@ build() {
runhaskell Setup configure -O --enable-shared --enable-executable-dynamic
--disable-library-vanilla \
--prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
--ghc-option=-fasm \
- -fcpphs -f-debug -f-enable-cluster-counting
+ -f-debug -fenable-cluster-counting -foptimise-heavily
LC_CTYPE=en_US.UTF-8 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/agda/-/commit/f49292fd5c0b943e59866693d5b0aba2059fe916
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/f49292fd5c0b943e59866693d5b0aba2059fe916
You're receiving this email because of your account on gitlab.archlinux.org.
