[DHG_packages] 01/02: agda: drop old patches, upstream

Gianfranco Costamagna locutusofborg at moszumanska.debian.org
Thu Jul 6 09:36:07 UTC 2017


This is an automated email from the git hooks/post-receive script.

locutusofborg pushed a commit to branch master
in repository DHG_packages.

commit b5562494b9610253fcec0b486c72343aa2445b8b
Author: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
Date:   Thu Jul 6 11:29:45 2017 +0200

    agda: drop old patches, upstream
---
 p/agda/debian/patches/add-elpa-pkg-el-file.patch  | 12 ------------
 p/agda/debian/patches/bump-directory-bounds.patch | 20 --------------------
 p/agda/debian/patches/fix-build-ghc-8.0.2.patch   | 23 -----------------------
 p/agda/debian/patches/newer-edison-api            | 11 -----------
 p/agda/debian/patches/series                      |  4 ----
 5 files changed, 70 deletions(-)

diff --git a/p/agda/debian/patches/add-elpa-pkg-el-file.patch b/p/agda/debian/patches/add-elpa-pkg-el-file.patch
deleted file mode 100644
index 7bc0a43..0000000
--- a/p/agda/debian/patches/add-elpa-pkg-el-file.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-Description: Add elpa metadata file
-Author: Sean Whitton <spwhitton at spwhitton.name>
-Forwarded: https://github.com/agda/agda/issues/2032
-
-This file is needed for the elpa-agda2-bin binary package to build.
----
-This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
---- /dev/null
-+++ b/src/data/emacs-mode/agda2-mode-pkg.el
-@@ -0,0 +1,2 @@
-+(define-package "agda2-mode" "2.5.1"
-+  "interactive development for Agda, a dependently typed functional programming language")
diff --git a/p/agda/debian/patches/bump-directory-bounds.patch b/p/agda/debian/patches/bump-directory-bounds.patch
deleted file mode 100644
index 6116edc..0000000
--- a/p/agda/debian/patches/bump-directory-bounds.patch
+++ /dev/null
@@ -1,20 +0,0 @@
---- agda-2.5.1.1.orig/Agda.cabal
-+++ agda-2.5.1.1/Agda.cabal
-@@ -121,7 +121,7 @@ library
-     , containers >= 0.5.0.0 && < 0.6
-     , data-hash >= 0.2.0.0 && < 0.3
-     , deepseq >= 1.3.0.1 && < 1.5
--    , directory >= 1.2.0.1 && < 1.3
-+    , directory >= 1.2.0.1 && < 1.4
-     -- Edison versioning scheme: http://rwd.rdockins.name/edison/home/.
-     -- EdisonAPI isn't used by Agda, but EdisonCore 1.3.1 doesn't
-     -- declare what version of EdisonAPI it depends on.
-@@ -554,7 +554,7 @@ executable agda-mode
-   other-modules:    Paths_Agda
-   build-depends:
-     base >= 4.6.0.1 && < 4.10
--    , directory >= 1.2.0.1 && < 1.3
-+    , directory >= 1.2.0.1 && < 1.4
-     , filepath >= 1.3.0.1 && < 1.5
-     , process >= 1.1.0.2 && < 1.5
- 
diff --git a/p/agda/debian/patches/fix-build-ghc-8.0.2.patch b/p/agda/debian/patches/fix-build-ghc-8.0.2.patch
deleted file mode 100644
index 85b2055..0000000
--- a/p/agda/debian/patches/fix-build-ghc-8.0.2.patch
+++ /dev/null
@@ -1,23 +0,0 @@
-Origin: part of abcde448a31eaf9fac701689cbb49180c089b055
-
---- agda-2.5.1.1.orig/src/full/Agda/Syntax/Abstract/Views.hs
-+++ agda-2.5.1.1/src/full/Agda/Syntax/Abstract/Views.hs
-@@ -1,5 +1,7 @@
- {-# LANGUAGE CPP                       #-}
- {-# LANGUAGE DefaultSignatures         #-}
-+{-# LANGUAGE GADTs                     #-}
-+{-# LANGUAGE NoMonoLocalBinds          #-}
- {-# LANGUAGE NoMonomorphismRestriction #-}
- {-# LANGUAGE PatternGuards             #-}
- {-# LANGUAGE TupleSections             #-}
-@@ -90,8 +92,8 @@ deepUnscopeDecl d
- class ExprLike a where
-   -- | The first expression is pre-traversal, the second one post-traversal.
-   recurseExpr :: (Applicative m) => (Expr -> m Expr -> m Expr) -> a -> m a
--  default recurseExpr :: (Traversable f, Applicative m)
--                      => (Expr -> m Expr -> m Expr) -> f a -> m (f a)
-+  default recurseExpr :: (Traversable f, ExprLike a', a ~ f a', Applicative m)
-+                      => (Expr -> m Expr -> m Expr) -> a -> m a
-   recurseExpr = traverse . recurseExpr
- 
-   foldExpr :: Monoid m => (Expr -> m) -> a -> m
diff --git a/p/agda/debian/patches/newer-edison-api b/p/agda/debian/patches/newer-edison-api
deleted file mode 100644
index 83b243d..0000000
--- a/p/agda/debian/patches/newer-edison-api
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/Agda.cabal
-+++ b/Agda.cabal
-@@ -125,7 +125,7 @@
-     -- Edison versioning scheme: http://rwd.rdockins.name/edison/home/.
-     -- EdisonAPI isn't used by Agda, but EdisonCore 1.3.1 doesn't
-     -- declare what version of EdisonAPI it depends on.
--    , EdisonAPI == 1.3
-+    , EdisonAPI >= 1.3 && < 1.4
-     , EdisonCore >= 1.3.1.1 && < 1.3.2
-     , edit-distance >= 0.2.1.2 && < 0.3
-     , equivalence >= 0.2.5 && < 0.4
diff --git a/p/agda/debian/patches/series b/p/agda/debian/patches/series
deleted file mode 100644
index d9dce40..0000000
--- a/p/agda/debian/patches/series
+++ /dev/null
@@ -1,4 +0,0 @@
-add-elpa-pkg-el-file.patch
-newer-edison-api
-bump-directory-bounds.patch
-fix-build-ghc-8.0.2.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git



More information about the Pkg-haskell-commits mailing list