[Git][haskell-team/DHG_packages][master] Agda: Upgrading from 2.6.4.3 to 2.8.0
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Sat Feb 14 17:27:46 GMT 2026
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
721328f5 by Scott Talbert at 2026-02-14T12:27:28-05:00
Agda: Upgrading from 2.6.4.3 to 2.8.0
- - - - -
3 changed files:
- p/agda/debian/changelog
- p/agda/debian/control
- p/agda/debian/patches/var-lib-agda
Changes:
=====================================
p/agda/debian/changelog
=====================================
@@ -1,7 +1,8 @@
-agda (2.6.4.3-2) UNRELEASED; urgency=medium
+agda (2.8.0-1) unstable; urgency=medium
[ Scott Talbert ]
* Build using dh-haskell
+ * New upstream release
[ Xiyue Deng ]
* Move agda dependencies from Depends to Suggests for elpa-agda2-mode
@@ -9,7 +10,7 @@ agda (2.6.4.3-2) UNRELEASED; urgency=medium
* Add ${elpa:Depends} to Depends for elpa-agda2-mode
* Drop ancient emacs versions in Recommends and Enhances
- -- Scott Talbert <swt at techie.net> Sun, 09 Nov 2025 21:11:35 -0500
+ -- Scott Talbert <swt at techie.net> Tue, 10 Feb 2026 15:35:03 -0500
agda (2.6.4.3-1) unstable; urgency=medium
=====================================
p/agda/debian/control
=====================================
@@ -13,81 +13,100 @@ Build-Depends:
happy,
haskell-devscripts (>= 0.13),
ghc-prof,
- libghc-stmonadtrans-dev (>= 0.4.3),
+ libghc-stmonadtrans-dev (>= 0.4.5),
libghc-stmonadtrans-dev (<< 0.5),
libghc-stmonadtrans-prof,
- libghc-aeson-dev (>= 1.1.2.0),
+ libghc-aeson-dev (>= 1.4.7.1),
libghc-aeson-dev (<< 2.3),
libghc-aeson-prof,
- libghc-ansi-terminal-dev (>= 0.9),
+ libghc-ansi-terminal-dev (>= 0.10.3),
libghc-ansi-terminal-dev (<< 1.2),
libghc-ansi-terminal-prof,
- libghc-async-dev (>= 2.2),
+ libghc-async-dev (>= 2.2.2),
libghc-async-dev (<< 2.3),
- libghc-blaze-html-dev (>= 0.8),
+ libghc-async-prof,
+ libghc-blaze-html-dev (>= 0.9.1.2),
libghc-blaze-html-dev (<< 0.10),
- libghc-boxes-dev (>= 0.1.3),
+ libghc-blaze-html-prof,
+ libghc-boxes-dev (>= 0.1.5),
libghc-boxes-dev (<< 0.2),
libghc-boxes-prof,
- libghc-case-insensitive-dev (>= 1.2.0.4),
+ libghc-case-insensitive-dev (>= 1.2.1.0),
libghc-case-insensitive-dev (<< 1.3),
libghc-case-insensitive-prof,
- libghc-data-hash-dev (>= 0.2.0.0),
+ libghc-data-hash-dev (>= 0.2.0.1),
libghc-data-hash-dev (<< 0.3),
libghc-data-hash-prof,
- libghc-dlist-dev (>= 0.8),
+ libghc-dlist-dev (>= 0.8.0.8),
libghc-dlist-dev (<< 1.1),
libghc-dlist-prof,
- libghc-edit-distance-dev (>= 0.2.1.2),
+ libghc-edit-distance-dev (>= 0.2.2.1),
libghc-edit-distance-dev (<< 0.3),
- libghc-equivalence-dev (>= 0.3.2),
+ libghc-edit-distance-prof,
+ libghc-enummapset-dev (>= 0.6.0.3),
+ libghc-enummapset-dev (<< 0.8),
+ libghc-enummapset-prof,
+ libghc-equivalence-dev (>= 0.3.5),
libghc-equivalence-dev (<< 0.5),
libghc-equivalence-prof,
- libghc-exceptions-dev (>= 0.8),
- libghc-exceptions-dev (<< 0.11),
- libghc-exceptions-prof,
+ libghc-filelock-dev (>= 0.1.1.5),
+ libghc-filelock-dev (<< 0.2),
+ libghc-filelock-prof,
+ libghc-filemanip-dev (>= 0.3.6.3),
+ libghc-filemanip-dev (<< 0.4),
+ libghc-filemanip-prof,
+ libghc-generic-data-dev (>= 0.9.2.0),
+ libghc-generic-data-dev (<< 1.2),
+ libghc-generic-data-prof,
libghc-gitrev-dev (>= 1.3.1),
libghc-gitrev-dev (<< 2),
libghc-gitrev-prof,
- libghc-hashable-dev (>= 1.2.1.0),
- libghc-hashable-dev (<< 1.5),
+ libghc-hashable-dev (>= 1.3.0.0),
+ libghc-hashable-dev (<< 1.6),
libghc-hashable-prof,
- libghc-monad-control-dev (>= 1.0.1.0),
+ libghc-monad-control-dev (>= 1.0.2.3),
libghc-monad-control-dev (<< 1.1),
libghc-monad-control-prof,
- libghc-murmur-hash-dev (>= 0.1),
+ libghc-murmur-hash-dev (>= 0.1.0.9),
libghc-murmur-hash-dev (<< 0.2),
libghc-murmur-hash-prof,
+ libghc-nonempty-containers-dev (>= 0.3.4.1),
+ libghc-nonempty-containers-dev (<< 0.4),
+ libghc-nonempty-containers-prof,
libghc-parallel-dev (>= 3.2.2.0),
libghc-parallel-dev (<< 3.3),
libghc-parallel-prof,
libghc-peano-dev (>= 0.1.0.1),
libghc-peano-dev (<< 0.2),
libghc-peano-prof,
+ libghc-pqueue-dev (>= 1.4.1.3),
+ libghc-pqueue-dev (<< 1.6),
+ libghc-pqueue-prof,
+ libghc-process-extras-dev (>= 0.7.4),
+ libghc-process-extras-dev (<< 0.8),
+ libghc-process-extras-prof,
libghc-regex-tdfa-dev (>= 1.3.1.0),
libghc-regex-tdfa-dev (<< 1.4),
libghc-regex-tdfa-prof,
- libghc-split-dev (>= 0.2.0.0),
+ libghc-split-dev (>= 0.2.3.4),
libghc-split-dev (<< 0.3),
libghc-split-prof,
libghc-strict-dev (>= 0.4.0.1),
libghc-strict-dev (<< 0.6),
libghc-strict-prof,
- libghc-time-compat-dev (>= 1.9.2),
- libghc-time-compat-dev (<< 1.10),
- libghc-time-compat-prof,
- libghc-unordered-containers-dev (>= 0.2.9.0),
+ libghc-unordered-containers-dev (>= 0.2.10.0),
libghc-unordered-containers-dev (<< 0.3),
- libghc-uri-encode-dev (>= 1.5.0.4),
+ libghc-unordered-containers-prof,
+ libghc-uri-encode-dev (>= 1.5.0.7),
libghc-uri-encode-dev (<< 1.6),
libghc-uri-encode-prof,
- libghc-vector-dev (>= 0.12),
+ libghc-vector-dev (>= 0.12.1.2),
libghc-vector-dev (<< 0.14),
libghc-vector-prof,
libghc-vector-hashtables-dev (>= 0.1.1.1),
libghc-vector-hashtables-dev (<< 0.2),
libghc-vector-hashtables-prof,
- libghc-zlib-dev (>= 0.6),
+ libghc-zlib-dev (>= 0.6.2.2),
libghc-zlib-dev (<< 0.8),
libghc-zlib-prof,
alex,
@@ -103,18 +122,23 @@ Build-Depends-Indep: ghc-doc,
libghc-data-hash-doc,
libghc-dlist-doc,
libghc-edit-distance-doc,
+ libghc-enummapset-doc,
libghc-equivalence-doc,
- libghc-exceptions-doc,
+ libghc-filelock-doc,
+ libghc-filemanip-doc,
+ libghc-generic-data-doc,
libghc-gitrev-doc,
libghc-hashable-doc,
libghc-monad-control-doc,
libghc-murmur-hash-doc,
+ libghc-nonempty-containers-doc,
libghc-parallel-doc,
libghc-peano-doc,
+ libghc-pqueue-doc,
+ libghc-process-extras-doc,
libghc-regex-tdfa-doc,
libghc-split-doc,
libghc-strict-doc,
- libghc-time-compat-doc,
libghc-unordered-containers-doc,
libghc-uri-encode-doc,
libghc-vector-doc,
=====================================
p/agda/debian/patches/var-lib-agda
=====================================
@@ -4,7 +4,7 @@ Index: b/src/full/Agda/Interaction/Library.hs
===================================================================
--- a/src/full/Agda/Interaction/Library.hs
+++ b/src/full/Agda/Interaction/Library.hs
-@@ -323,7 +323,7 @@ getInstalledLibraries
+@@ -376,7 +376,7 @@ getInstalledLibraries
-> LibM [AgdaLibFile] -- ^ Content of library files. (Might have empty @LibName at s.)
getInstalledLibraries overrideLibFile = mkLibM [] $ do
filem <- liftIO $ runExceptT $ getLibrariesFile overrideLibFile
@@ -13,7 +13,7 @@ Index: b/src/full/Agda/Interaction/Library.hs
Left theOverrideLibFile -> do
raiseErrors' [ LibrariesFileNotFound theOverrideLibFile ]
return []
-@@ -332,9 +332,15 @@ getInstalledLibraries overrideLibFile =
+@@ -385,9 +385,15 @@ getInstalledLibraries overrideLibFile =
ls <- liftIO $ stripCommentLines <$> UTF8.readFile (lfPath file)
files <- liftIO $ sequence [ (i, ) <$> expandEnvironmentVariables s | (i, s) <- ls ]
parseLibFiles (Just file) $ nubOn snd files
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/721328f5fb8e8e4b91031e4ec201ffba40741da7
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/721328f5fb8e8e4b91031e4ec201ffba40741da7
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20260214/ae141ce7/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list