[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.6-2-7-gb60cd04
Marco Túlio Gontijo e Silva
marcot at riseup.net
Sat Feb 20 22:11:39 UTC 2010
The following commit has been merged in the master branch:
commit e5da9f254fd27f3858f1df2e7482ee219ca36272
Author: Marco Túlio Gontijo e Silva <marcot at riseup.net>
Date: Sat Feb 20 19:46:56 2010 -0200
debian/control: Use all haskell: variables.
diff --git a/debian/changelog b/debian/changelog
index d14aa5a..b283ec1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -18,6 +18,7 @@ agda (2.2.6-3) UNRELEASED; urgency=low
to 0.7. Remove versioned Build-Depends: of ghc6* and remove
hscolour and haddock from Build-Depends:.
* debian/control: Split Build-Depends in Buid-Depends-Indep:.
+ * debian/control: Use all haskell: variables.
-- Iain Lane <laney at ubuntu.com> Mon, 08 Feb 2010 14:06:05 +0000
diff --git a/debian/control b/debian/control
index 4bc23b6..fc9bb0d 100644
--- a/debian/control
+++ b/debian/control
@@ -67,6 +67,7 @@ Architecture: any
Section: haskell
Depends: ${haskell:Depends},
${misc:Depends},
+Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: a dependently typed functional programming language - development libraries
@@ -89,6 +90,7 @@ Architecture: any
Section: haskell
Depends: ${haskell:Depends},
${misc:Depends},
+Recommends: ${haskell:Recommends}
Provides: ${haskell:Provides}
Description: a dependently typed functional programming language - profiling libraries
Agda is a dependently typed functional programming language: It has inductive
@@ -108,7 +110,7 @@ Description: a dependently typed functional programming language - profiling lib
Package: haskell-agda-doc
Architecture: all
Section: doc
-Depends: ${misc:Depends}
+Depends: ${misc:Depends}, ${haskell:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Description: a dependently typed functional programming language - documentation
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list