[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