projects / gentoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 58966db)
Drop old patches
authorMark Wright <gienah@gentoo.org>
Thu, 29 Jan 2015 04:15:47 +0000 (04:15 +0000)
committerMark Wright <gienah@gentoo.org>
Thu, 29 Jan 2015 04:15:47 +0000 (04:15 +0000)
Package-Manager: portage-2.2.15/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

sci-mathematics/agda/ChangeLog patch | blob | history
sci-mathematics/agda/Manifest patch | blob | history
sci-mathematics/agda/files/agda-2.3.0-emacs.patch [deleted file] patch | blob | history
sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch [deleted file] patch | blob | history
sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch [deleted file] patch | blob | history
sci-mathematics/agda/files/agda-2.3.0.1-mtl-2.1.patch [deleted file] patch | blob | history
sci-mathematics/agda/files/agda-2.3.0.1-quickcheck-2.5.patch [deleted file] patch | blob | history

diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog
index 72f1f1ef1334f48341800b86946932397568dec3..f43f805087179d340944b04936a468d4a51dec27 100644 (file)
--- a/sci-mathematics/agda/ChangeLog
+++ b/sci-mathematics/agda/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for sci-mathematics/agda
 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.29 2015/01/29 03:38:57 patrick Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.30 2015/01/29 04:15:39 gienah Exp $
+
+  29 Jan 2015; Mark Wright <gienah@gentoo.org> -files/agda-2.3.0-emacs.patch,
+  -files/agda-2.3.0.1-emacs.patch,
+  -files/agda-2.3.0.1-haskell-src-exts-1.13.patch,
+  -files/agda-2.3.0.1-mtl-2.1.patch, -files/agda-2.3.0.1-quickcheck-2.5.patch:
+  Drop old patches
 
   29 Jan 2015; Patrick Lauer <patrick@gentoo.org> -agda-2.3.0.1-r1.ebuild,
   -agda-2.3.0.1.ebuild, -agda-2.3.2-r2.ebuild, -agda-2.3.2.ebuild:
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest
index e9c331ecf5eef673d4527707796b21bf27b42406..de1b32e363249398fb404ef0b7bb0209cb8646d8 100644 (file)
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -1,9 +1,7 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
 AUX 50agda2-gentoo.el 317 SHA256 043797b8766a610c08a5aa10b4ea46b955f208b851f0baea4ba4dbff74fb3417 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e WHIRLPOOL cba0b37c78d2e409081f90d7d68a2b5c21ad8cb79f51ff364c8ee9107c9f42a229d60b195a984acfcc45a9638b04bac0371e9eea4ef2bde1680983a85832329a
-AUX agda-2.3.0-emacs.patch 949 SHA256 1449803290440d01d792254edb68f4a3692394f6ea1fdc8128d993dadc66e5a0 SHA512 1a01c463516d79b1027d99e8409ef5ddc11b83029229946b3c2b234633dd443848ea0fb3589b647510b70cca1fb83953030ca3afede9877541a32d87df980913 WHIRLPOOL 476ce1ba07d864b6914984c1f9ebb0d2a6f99fe4c3ebce4b1f7d1b6e22389546b8b1fadccd8e3ded2257e619f093aad2889a55822225236cd2c4e0d6e270c936
-AUX agda-2.3.0.1-emacs.patch 955 SHA256 8a124f71c4580923a2d8ecd39064a999da313bf7f7085e322d8259421f17496b SHA512 7be137365383c7781c4b24811dba65618e5c30c3b4694241f9034682aea4d7ae641165165e9572c274843d7c5328afd3e0bf85d8e080f9029c94d11262d4294a WHIRLPOOL ce7c4562f7893bae1a377b868a746d04f8b551912aad41836b28f41db0ef9e8cf75bafc714017b6d035750a18018e69b6d788959093f51aad21ae6cf1eb66cd6
-AUX agda-2.3.0.1-haskell-src-exts-1.13.patch 1077 SHA256 d88f7e113b701d6d67bbbd1965f878886bfb08483e238172b721e4f61f106585 SHA512 2cc83a61aad7410dc90fa283cc4ad0e243fba2b335f9c84ef1f7faa96c717179da96d96bbb2507bde69deab315dba8ce4ae1bfb3b21b2851b87c4e4930d30003 WHIRLPOOL 6e9b84ca3830dc4d2dcd119d08c0b056805c09beb0fd88588c53f04d76286cc9d695963bda8a82985b8887f8a5595809407e03fe41925a95b30aba3a85e93c8e
-AUX agda-2.3.0.1-mtl-2.1.patch 489 SHA256 c529a4585ceab9f2f2e9746dd36b72ca91dd8c815f43b427022ef7c7517d6199 SHA512 3f78da37ffb7ff3c06b49bc8bf6df9277866b6fe5d4cccfa0120e0959cb79ad7ee13fab4fd089dafed665470efd89a28936a5c2d7f818c9a03f1d2e6bb6cfed4 WHIRLPOOL 6656d1002a38636ae424b71d9b4cd2fb7b92440c769927ffa710507321fb9ebb41de23da4edc3d6038c05ddefdc3a1ebaf0df0f4327b9ae64f9c4df6daa8d327
-AUX agda-2.3.0.1-quickcheck-2.5.patch 1308 SHA256 a07adba140a81eb76042a7f985b2cb711d99e92d1ff7df9ca32a93685d6e6fe9 SHA512 4c15bc38d2341be7b830c48a004f688725ddc2fda2271b44455a7bab3cd50f9fbac1821ca76b812fd78fdc5db252dc7a89cdcf9ba4cdb2a8f4322d1d43216521 WHIRLPOOL be134013d143d76dc7741fea7fc43654f4f55bd583faea9dddc90189f934001196129e2a949f0c104109367e03c0a13e7a25fc51dce6d414429ca486dc657896
 AUX agda-2.3.2-hashable-1.2.patch 2010 SHA256 8ed826fb6c7420274d1e31d2abc680d2d6419c7ef9a474cec0b79a12d4feae5e SHA512 b35bc500c94708241d46f5c9bcd78008d8de83a6d5d59784eac27fb4a0426a7a2c623dce1dfc1209b80bc73ff92c07a462d36e403826033c7c87ea828c1efda2 WHIRLPOOL beaab8e5301baa4bb222166998e92ca4cb7acd11b75d6656f0b22707b4c0e4f6b98217a7ff43aaa41aed75ee2719a4a64338a360f461ff1580d3954d4e0cd518
 AUX agda-2.3.2.1-haskell-src-exts-1.14.patch 1402 SHA256 9574b8ab4428770347743f67caad84549171efcbf772fad2d368fb8f0bcc972b SHA512 4049478b97cb330766107055bb0f47f7b46b5587f66393a0e0045eb2f8822945b4c32b56a4563903004c37299ab8067f1cff5ccbc801aadf2f347739b6409446 WHIRLPOOL 6ddd946b130bb9a1ba87730d5916c7fdc5875d7248bab839cff4062a392a971fb33a0d1b3fe0171cf13f7e7d604c3d86f84efb6196272743139a1dd3256d0c0c
 AUX agda-make_install.patch 549 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc SHA512 28ca830797ecfddf50fa0f3cedd8eebd5a0c1f974749440bb793d597736da2bbb42217b80e25230b941814bca233469b5909471cfa70c4b7fc659a46d7c43d1c WHIRLPOOL 40a5f18241e4b9df5a1997f342eae5f292019a14e222d8ad792f632b3f33c0c2929959ed705514ef94968e022cc3eadf109c24c891bbfdc9b33568318838f472
@@ -17,5 +15,12 @@ EBUILD agda-2.3.2.1-r1.ebuild 3542 SHA256 9a23522d71b6b626ecf5db668da05b1f9be8ef
 EBUILD agda-2.3.2.2-r1.ebuild 4077 SHA256 4b790f003834b263fad07cd465b34683176bfff71fbbe70d029d1793d44c17e2 SHA512 a2a90795a135d8f816ebf43852dfcabbf784724b7299a82015c12cfae75c667b38447982bb4c658547af66d43226d50a2ee8e8a83525ff512ce94f85d9712087 WHIRLPOOL 9f5836713c9f8e5382d0a85e5194c15695a03373adc2c377c07d1c95192f88e10de6f11ce98a55ffa8836f0a2884cd1431273b2a15bfe13fe2cb1745a3b3d910
 EBUILD agda-2.4.0.1.ebuild 4386 SHA256 fe1cc06c30afb221c059e8b44d2e59d3aaf90c4cb8edefa8c61cdfbc500de4ef SHA512 e66376b1dfa40d0bc1ec9fed9745c289d305831ced6aa3c72a26590085a61ea7af95a5b1b20890e61948271a999c0a1a0f3b63f8f790630ddf1e7aa77ac02c1c WHIRLPOOL e2db7d306e68c354bdd2242409e92057e796b4d6f3dfb5d39c84db50fb29f982e56a86c2bf00a8326a4e1d128d0f8d67de2ba89b00258ba3349265465535a4c7
 EBUILD agda-2.4.2.2-r1.ebuild 4608 SHA256 6f5dcab3c4fa44564a2ba4d75af2fb2bf30af9e1b7d0ecb24e6171352a08b73c SHA512 80b17b48a05938d891247112a62213de38f53b71529f093ff6b1836869b1d728286b2769dd8378c91386afae3b86170162a4e1a005739aa67dd3c45f07547f8c WHIRLPOOL ce0aa1936abc1c169c287c7de41d0d3c4c3bfb7ed17e5712decf651ba31b0c74d17d6d100f2b7f938cc27dbdff3004967a18adb98beb4b3d0e131de479802253
-MISC ChangeLog 5687 SHA256 6cf1ef0f85a5e746c62ab5d5f429ecdcb316ff5d150293d78bd9712138e2acbc SHA512 1f4dbd71c1b4ef2dddbfa6fe562320f1be1dfd394d3b4ca5de555507258d16fd9c8e982c2c55f6beec1852aa26d043e254946a30d9d6d2bdf7ee596549a6df8c WHIRLPOOL 1b91ca511b8a53173789514b58c56a49dfd2d7905bd63508e64167f146d8921d112d1bb59dd8841e7b3766ff390146affa16e2d24f93d3e56ba5a2f0e09d965c
+MISC ChangeLog 5949 SHA256 3c40db20349a1e42e9984634b57975ae65bff918d7ff027f58143ec2e4ffb1bc SHA512 81afffed0396a3d74809a80ffd8aa3f3b6c6d86c3cbb7db5863c6e91dcd0845c2fb31032f5359c27df7d0960bfa991a01c7b41923161b940449ad4cb16c1a50c WHIRLPOOL b6f083b674836b8d2b762660bb2797da4735375e4fbfa5d8d37e1211e810137b12f9531af8685d3d2d59e1431dfdb09b4dc4755f461327ceef308e11b2b728db
 MISC metadata.xml 722 SHA256 0cc8c249a5a5457e5a91f4e7d0bffedb026b0990542a88b4c4ab39254e8d8426 SHA512 610076e344a59f9ee6d88671588df43a8dbfe47ea8021c1a35077277fe25de978f7fbc9d3318e1bc64173d2f4c7f449c2dafbd020ad224c8ea678c0098f9d00e WHIRLPOOL b5369e61aba1458a8f2e9e544eab067865bc33165b99f077bebfb8e7747472df4135947ff9bf3d5123cd861c734486f0f1a0957e03b952e02af594e89861a81f
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2
+
+iF4EAREIAAYFAlTJs/IACgkQoBEVQmGOlx9TvQD/dX3qgt7dOI4fKbD+21Ixx1t1
+CzhX/1qh9x3oWE9fkbwA/3pqgHtirp5B0ZzVeevq5h6lfDkJ2q9v+GcbrqCQvn6i
+=XlvW
+-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda/files/agda-2.3.0-emacs.patch b/sci-mathematics/agda/files/agda-2.3.0-emacs.patch
deleted file mode 100644 (file)
index bfe89a3..0000000
--- a/sci-mathematics/agda/files/agda-2.3.0-emacs.patch
+++ /dev/null
@@ -1,27 +0,0 @@
---- agda-9999-orig/Agda.cabal  2011-11-26 00:25:45.382153242 +1100
-+++ agda-9999/Agda.cabal       2011-11-26 17:43:50.076056097 +1100
-@@ -40,7 +40,6 @@
-                     doc/release-notes/*.txt
- data-dir:           src/data
- data-files:         Agda.css
--                    emacs-mode/*.el
-                     EpicInclude/AgdaPrelude.e
-                     EpicInclude/stdagda.c
-                     EpicInclude/stdagda.h
-@@ -323,16 +322,3 @@
-   if impl(ghc >= 7.2)
-     ghc-options:    -fwarn-identities
-   ghc-prof-options: -auto-all
--
--executable agda-mode
--  hs-source-dirs:   src/agda-mode
--  main-is:          Main.hs
--  other-modules:    Paths_Agda
--  if flag(use-locale)
--    build-depends:  base >= 4.2 && < 4.5
--  else
--    build-depends:  base == 4.1.*,
--                    utf8-string == 0.3.*
--  build-depends:    filepath >= 1.1 && < 1.3,
--                    process >= 1.0.1.0 && < 1.2,
--                    directory >= 1.0 && < 1.2
diff --git a/sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch b/sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch
deleted file mode 100644 (file)
index e08dc98..0000000
--- a/sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch
+++ /dev/null
@@ -1,27 +0,0 @@
---- Agda-2.3.0.1-orig/Agda.cabal       2012-03-12 21:09:34.000000000 +1100
-+++ Agda-2.3.0.1/Agda.cabal    2012-03-26 00:07:55.476482395 +1100
-@@ -40,7 +40,6 @@
-                     doc/release-notes/*.txt
- data-dir:           src/data
- data-files:         Agda.css
--                    emacs-mode/*.el
-                     EpicInclude/AgdaPrelude.e
-                     EpicInclude/stdagda.c
-                     EpicInclude/stdagda.h
-@@ -326,16 +325,3 @@
-   if impl(ghc >= 7.2)
-     ghc-options:    -fwarn-identities
-   ghc-prof-options: -auto-all
--
--executable agda-mode
--  hs-source-dirs:   src/agda-mode
--  main-is:          Main.hs
--  other-modules:    Paths_Agda
--  if flag(use-locale)
--    build-depends:  base >= 4.2 && < 4.6
--  else
--    build-depends:  base == 4.1.*,
--                    utf8-string == 0.3.*
--  build-depends:    filepath >= 1.1 && < 1.4,
--                    process >= 1.0.1.0 && < 1.2,
--                    directory >= 1.0 && < 1.2
diff --git a/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch b/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch
deleted file mode 100644 (file)
index 06e3c70..0000000
--- a/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch
+++ /dev/null
@@ -1,26 +0,0 @@
---- Agda-2.3.0.1-orig/Agda.cabal       2012-03-12 21:09:34.000000000 +1100
-+++ Agda-2.3.0.1/Agda.cabal    2012-04-01 11:54:47.565833931 +1000
-@@ -77,7 +77,7 @@
-     build-depends:  epic >= 0.1.13 && < 0.10
-   build-depends:    mtl == 2.0.*,
-                     QuickCheck >= 2.3 && < 2.5,
--                    haskell-src-exts >= 1.9.6 && < 1.12,
-+                    haskell-src-exts >= 1.9.6 && < 1.14,
-                     containers >= 0.1 && < 0.5,
-                     pretty >= 1.0 && < 1.2,
-                     directory >= 1.0 && < 1.2,
---- Agda-2.3.0.1-orig/src/full/Agda/Compiler/MAlonzo/Compiler.hs       2012-04-01 11:27:52.058688415 +1000
-+++ Agda-2.3.0.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs    2012-04-01 11:30:42.732658634 +1000
-@@ -466,8 +466,11 @@
-   ]
-   where
-     parse = HS.parseWithMode
-+#if MIN_VERSION_haskell_src_exts(1,13,0)
-+              HS.defaultParseMode{HS.extensions = [HS.ExplicitForAll]}
-+#else
-               HS.defaultParseMode{HS.extensions = [HS.ExplicitForall]}
--
-+#endif
-     ok (HS.ParseOk d)   = d
-     ok HS.ParseFailed{} = __IMPOSSIBLE__
- 
diff --git a/sci-mathematics/agda/files/agda-2.3.0.1-mtl-2.1.patch b/sci-mathematics/agda/files/agda-2.3.0.1-mtl-2.1.patch
deleted file mode 100644 (file)
index 7f592a3..0000000
--- a/sci-mathematics/agda/files/agda-2.3.0.1-mtl-2.1.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- Agda-2.3.0.1-orig/Agda.cabal       2012-04-01 11:54:47.565833931 +1000
-+++ Agda-2.3.0.1/Agda.cabal    2012-04-12 01:24:54.004394444 +1000
-@@ -75,7 +75,7 @@
-                     utf8-string == 0.3.*
-   if flag(epic)
-     build-depends:  epic >= 0.1.13 && < 0.10
--  build-depends:    mtl == 2.0.*,
-+  build-depends:    mtl >= 2.0 && < 2.2,
-                     QuickCheck >= 2.3 && < 2.5,
-                     haskell-src-exts >= 1.9.6 && < 1.14,
-                     containers >= 0.1 && < 0.5,
diff --git a/sci-mathematics/agda/files/agda-2.3.0.1-quickcheck-2.5.patch b/sci-mathematics/agda/files/agda-2.3.0.1-quickcheck-2.5.patch
deleted file mode 100644 (file)
index 51d5f8b..0000000
--- a/sci-mathematics/agda/files/agda-2.3.0.1-quickcheck-2.5.patch
+++ /dev/null
@@ -1,30 +0,0 @@
---- Agda-2.3.0.1-orig/Agda.cabal       2012-04-12 01:24:54.004394444 +1000
-+++ Agda-2.3.0.1/Agda.cabal    2012-07-08 12:59:51.280014442 +1000
-@@ -76,7 +76,7 @@
-   if flag(epic)
-     build-depends:  epic >= 0.1.13 && < 0.10
-   build-depends:    mtl >= 2.0 && < 2.2,
--                    QuickCheck >= 2.3 && < 2.5,
-+                    QuickCheck >= 2.3 && < 2.6,
-                     haskell-src-exts >= 1.9.6 && < 1.14,
-                     containers >= 0.1 && < 0.5,
-                     pretty >= 1.0 && < 1.2,
---- Agda-2.3.0.1-orig/src/full/Agda/Termination/Lexicographic.hs       2012-11-09 03:23:20.938830800 +0900
-+++ Agda-2.3.0.1/src/full/Agda/Termination/Lexicographic.hs    2012-11-09 03:22:25.918728273 +0900
-@@ -1,3 +1,4 @@
-+{-# LANGUAGE CPP #-}
- -- | Lexicographic order search, more or less as defined in
- --      \"A Predicative Analysis of Structural Recursion\" by
- --      Andreas Abel and Thorsten Altenkirch.
-@@ -230,7 +231,11 @@
-   , quickCheck' prop_fromDiagonals
-   , quickCheck' prop_newBehaviour
-   , quickCheckWith' stdArgs{ maxSuccess = 50
-+#if MIN_VERSION_QuickCheck(2,5,0)
-+                           , maxDiscardRatio = 4
-+#else
-                            , maxDiscard = 200
-+#endif
-                            , maxSize    = 20
-                            }
-                     prop_lexOrder
Unnamed repository; edit this file 'description' to name the repository.