Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / agda
Commits:
d241ceb1 by Felix Yan at 2025-04-03T22:36:57+08:00
upgpkg: 2.6.4.1-32: rebuild with cabal-fmt 0.1.6, cabal-install 3.8.1.0,
cabal-install-parsers 0.6, cabal-install-solver 3.8.1.0, fourmolu 0.10.0.0, ghc
9.4.8, ghc-lib-parser 9.4.8.20231111, ghc-lib-parser-ex 9.4.0.0, haskell-ci
0.16, hjsmin 0.2.1, hlint 3.5, hoauth2 2.8.0, ormolu 0.5.1.0, rope-utf16-splay
0.4.0.0, stylish-haskell 0.14.4.0, vty-crossplatform 0.4.0.0
- - - - -
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.4.1
- pkgrel = 31
+ pkgrel = 32
url = https://wiki.portal.chalmers.se/agda/
arch = x86_64
license = custom
=====================================
PKGBUILD
=====================================
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.4.1
-pkgrel=31
+pkgrel=32
pkgdesc="A dependently typed functional programming language and proof
assistant"
url="https://wiki.portal.chalmers.se/agda/";
license=("custom")
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/d241ceb16d021b3ef9b5b2ebb4d8343f186f3e7e
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/d241ceb16d021b3ef9b5b2ebb4d8343f186f3e7e
You're receiving this email because of your account on gitlab.archlinux.org.
