[Git][haskell-team/DHG_packages][master] agda: Minor fixes

[Ilias Tsitsimpis]

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


Commits:
d65baa2e by Ilias Tsitsimpis at 2020-07-29T18:34:50+03:00
agda: Minor fixes

- - - - -


2 changed files:

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


Changes:

=====================================
p/agda/debian/changelog
=====================================
@@ -5,8 +5,11 @@ agda (2.6.1-1) unstable; urgency=medium
 
   [ Ilias Tsitsimpis ]
   * Refresh patches
+  * Build-dep on newer versions of dh-elpa (Closes: #935635)
+  * Drop agda-mode transitional package (Closes: #939136)
+  * Add lighc-agda-dev as dependency of agda-bin (Closes: #907521)
 
- -- Ilias Tsitsimpis <iliastsi at debian.org>  Wed, 29 Jul 2020 17:42:01 +0300
+ -- Ilias Tsitsimpis <iliastsi at debian.org>  Wed, 29 Jul 2020 18:34:44 +0300
 
 agda (2.6.0.1-1) unstable; urgency=medium
 


=====================================
p/agda/debian/control
=====================================
@@ -8,7 +8,7 @@ Build-Depends:
  cdbs,
  cpphs (>= 1.20.2),
  debhelper (>= 10),
- dh-elpa,
+ dh-elpa (>= 1.16),
  ghc (>= 8.4.3),
  happy,
  haskell-devscripts (>= 0.13),
@@ -122,9 +122,9 @@ Depends:
  ${haskell:Depends},
  ${misc:Depends},
  ${shlibs:Depends},
-Recommends:
  libghc-agda-dev (<< ${source:Upstream-Version}+~),
  libghc-agda-dev (>= ${source:Upstream-Version}),
+Recommends:
  ${haskell:Recommends},
 Suggests:
  elpa-agda2-mode,
@@ -163,10 +163,6 @@ Recommends:
 Enhances:
  emacs,
  emacs24,
-Breaks:
- agda-mode (<< 2.5.1),
-Provides:
- agda-mode,
 Description: dependently typed functional programming language — emacs mode
  Agda is a dependently typed functional programming language: It has inductive
  families, which are like Haskell's GADTs, but they can be indexed by values and
@@ -184,15 +180,6 @@ Description: dependently typed functional programming language — emacs mode
  mode is the preferred way to write Agda code, and offers features such as
  iterative development, refinement, case analysis and so on.
 
-Package: agda-mode
-Architecture: all
-Section: oldlibs
-Depends:
- ${misc:Depends},
-Description: transitional dummy package for elpa-agda2-mode
- agda-mode has been ELPAfied.  See the elpa-agda2-mode package.  This
- transitional package is safe to remove.
-
 Package: libghc-agda-dev
 Architecture: any
 Section: haskell



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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/d65baa2e12754717e04798f33f50d133c3f3426d
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/20200729/6352f96d/attachment-0001.html>