[Git][haskell-team/DHG_packages][master] agda: Rebuild against dh-elpa >=2.1.5

Ilias Tsitsimpis (@iliastsi) gitlab at salsa.debian.org
Thu Aug 29 13:58:56 BST 2024



Ilias Tsitsimpis pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
1e8fac37 by Ilias Tsitsimpis at 2024-08-29T15:28:37+03:00
agda: Rebuild against dh-elpa >=2.1.5

- - - - -


2 changed files:

- p/agda/debian/changelog
- p/agda/debian/control


Changes:

=====================================
p/agda/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+agda (2.6.3-2) unstable; urgency=medium
+
+  * Rebuild against dh-elpa >=2.1.5 (Closes: #1077095)
+
+ -- Ilias Tsitsimpis <iliastsi at debian.org>  Thu, 29 Aug 2024 15:28:02 +0300
+
 agda (2.6.3-1) unstable; urgency=medium
 
   * Declare compliance with Debian policy 4.6.2


=====================================
p/agda/debian/control
=====================================
@@ -8,7 +8,7 @@ Build-Depends:
  cdbs,
  cpphs (>= 1.20.2),
  debhelper (>= 10),
- dh-elpa (>= 1.16),
+ dh-elpa (>= 2.1.5),
  ghc (>= 9.4),
  happy,
  haskell-devscripts (>= 0.13),



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/1e8fac37107678649eccdd9213cb2ccf83b9e8c6

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/1e8fac37107678649eccdd9213cb2ccf83b9e8c6
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/20240829/5adf49d1/attachment-0001.htm>


More information about the Pkg-haskell-commits mailing list