summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2015-08-02 10:52:09 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2015-08-02 10:52:09 +0000
commit679a1f599f57700d9ba2ae1a2feaebedf9f525f4 (patch)
treebb4b38701e0440e4b0a5dc5d8122d73beaeafe5a /sci-mathematics
parentInitial import from sdfg-overlay (bug #510988). New dependency for media-soun... (diff)
downloadhistorical-679a1f599f57700d9ba2ae1a2feaebedf9f525f4.tar.gz
historical-679a1f599f57700d9ba2ae1a2feaebedf9f525f4.tar.bz2
historical-679a1f599f57700d9ba2ae1a2feaebedf9f525f4.zip
Drop old.
Package-Manager: portage-2.2.20/cvs/Linux x86_64 Manifest-Sign-Key: 0x611FF3AA
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/agda-stdlib/ChangeLog6
-rw-r--r--sci-mathematics/agda-stdlib/Manifest27
-rw-r--r--sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild82
-rw-r--r--sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild59
-rw-r--r--sci-mathematics/agda/ChangeLog8
-rw-r--r--sci-mathematics/agda/Manifest16
-rw-r--r--sci-mathematics/agda/agda-2.3.2-r5.ebuild101
-rw-r--r--sci-mathematics/agda/agda-2.3.2.1-r1.ebuild110
-rw-r--r--sci-mathematics/agda/agda-2.3.2.2-r1.ebuild116
-rw-r--r--sci-mathematics/agda/files/agda-2.3.2-hashable-1.2.patch66
-rw-r--r--sci-mathematics/agda/files/agda-2.3.2.1-haskell-src-exts-1.14.patch34
11 files changed, 22 insertions, 603 deletions
diff --git a/sci-mathematics/agda-stdlib/ChangeLog b/sci-mathematics/agda-stdlib/ChangeLog
index 60e2aa812b0a..1cde547cc210 100644
--- a/sci-mathematics/agda-stdlib/ChangeLog
+++ b/sci-mathematics/agda-stdlib/ChangeLog
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/agda-stdlib
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.8 2015/01/30 03:04:58 patrick Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.9 2015/08/02 10:49:32 slyfox Exp $
+
+ 02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org>
+ -agda-stdlib-0.7-r1.ebuild, -agda-stdlib-0.7.ebuild:
+ Drop old.
30 Jan 2015; Patrick Lauer <patrick@gentoo.org> -agda-stdlib-0.6.ebuild:
Remove old version with unsatisfied dependencies
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest
index c9d39efe9f1d..979f86f999c8 100644
--- a/sci-mathematics/agda-stdlib/Manifest
+++ b/sci-mathematics/agda-stdlib/Manifest
@@ -1,32 +1,17 @@
-----BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA512
+Hash: SHA256
AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce
DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060
DIST agda-stdlib-0.9.tar.gz 248895 SHA256 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 SHA512 aa297e250c5d98ca3f267c5ef95fc33999f9b120256c1983774d814b940a0f5952e524024908e3716af71ad544a586576c1bae6cca19e63797b1d4004ba88413 WHIRLPOOL dd200c61e91e397dfc7de8f6269edaefc20aa3daf5ead9e9fbab62468e5385481a74d5cec62df88e5c5304e06dfbd47b1870f71f70aba7fad29eceb0d836e2b1
-DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536
-EBUILD agda-stdlib-0.7-r1.ebuild 2214 SHA256 0135405bc6ae440443ad520a737b9449f1109f0bdd784992abf6c173339753fa SHA512 4d6e427dba6fc04985c7f5eaebd5cff5f5f338267fbfc932979e825f9832a05e4bbcead2bddc7782e29352e329bc056acd4d4b1334e2c557ffdb05ac820ccd06 WHIRLPOOL 5285e1f2581dc2f99a6979e8217dc5f7f583b1bc9c6251f6f58ac12615e7ef5bb7c997c1a12aed579dadb8e595820c22660f31fb3177ac528e7e9db418efd782
-EBUILD agda-stdlib-0.7.ebuild 1778 SHA256 a1d1505200364dae71365177ec1eb2deaa06710816116445af9e7c811cb878b3 SHA512 20d31b4784d89b6122ffadfd72ba1710a02e5ce06bb0780f588208ba2cde333140e0740b917e9f74894f80ae09274a048b421604da53f7e239aedf463ce74a31 WHIRLPOOL 281760de3bd2004c24b4b4f9dd4040ec6c7227140e55b82864af5de3d4e0ae40c71098641b12ebea9aaa255d03220b80009064dfaeff86eb5e8709e5146a7829
EBUILD agda-stdlib-0.8.ebuild 2049 SHA256 618faf148d97889717f4c885933e2f4d06fc40eed7e7a5f949fd7c1637677aa6 SHA512 195a58d0b4234e6e5a33e7f8c160419d0b1caca8fe945740c2113e0ef6c3bf28e9b540201923b4c9b2d9fa7378735c3c988f5d2a5cf3f1510c1627547a028d4e WHIRLPOOL 6fbcafce9bb6208f9683a249485cfbb13c28981fb54ff28da4058badc38c6f35be8a47b5d79a66e4e6a67419507827de011ab42e265fe2ef75edcb05193c935c
EBUILD agda-stdlib-0.9.ebuild 2049 SHA256 0273ea9381b06071631b2a230dc031a6662b75f96f7857e87fb335b0ff351a58 SHA512 a99df09c630b5f10ff36f6d9020c8498cbcacb08c1c741bd4bec8ebb7b33d28001f1c25c3648529b4d94cff455e041e4f181ca053100cd3d88af1d833d2ef0b8 WHIRLPOOL 670a7ffa181fed3d15279538e5e353f4637f178e0d7f8425df2f0ff490f1ced373a5ad838e4fea55ef2ba1a57a4970cd9b5e4d028cce210d76545c2feb061907
-MISC ChangeLog 2010 SHA256 97323ee0a444b2ad2a20ec68442adbb02f84d28cb81bdb5f26a831f72ff238c9 SHA512 7a3aeb72451f49a806a654ce502b91a339df2257613dc9033c2b1a7c94f3864f2f4c18d6f55b2c7e8da29afcb9cb50cc39c1949b2bd05ea89580cb4429cdcb83 WHIRLPOOL db7ce3989fc7579be183ae60f406299ad5bf7f7d6d31425ee975a370f894090d917b3f8eb44af7c8f8b865e2d6b1cfb4ca02e993cb88070944676b12f2f8b517
+MISC ChangeLog 2131 SHA256 e1c5dfcd6938f50f950cb4673a7dfbc5707fb6bc0d75c099703f2f7d935412eb SHA512 12669c7772c30de4999ad0f4c0c63182306af60f40ca8982c3001244b586032b18c86fe1171c584adfdeb8257bc097c7f5764d5d43d142b40390524fbc820161 WHIRLPOOL 4170ea8b05dc31f59e35722994a5cdf748bbce6457b957dd360c43e69910564d7a1e9c31e2261b4dd0a93794f708051f37e031edf056428719c4b90f9f0d4769
MISC metadata.xml 460 SHA256 a4ae622900664e568812464e2d41c3af26b6dd27a5cedfb6974f4dbc0e7ee451 SHA512 60267138c3ded320f4b93574813ce8b2130d73b0d95e1da293a705fbe5062faeaa13eab32c38f2c754646ce5cfbb78680df18d0c3459a11f27379f08dfe78dea WHIRLPOOL 7ea8d71701acac657213d547ae2a479bb65d0262ec620d750fcf19d3372aa971a9e0beffba6bd05a9a9298e5355e6d78b2592dcd65da0a14f9655b8e580f480d
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0
+Version: GnuPG v2
-iQJ8BAEBCgBmBQJVfyD3XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
-ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ0QUU0N0I4NzFERUI0MTJFN0EyODE0NUFF
-OTQwMkE3OUIwMzUyOUEyAAoJEOlAKnmwNSmi+RUP/1wID0Y+FiAZjxaQh4myP0U5
-Fm0tepPYWP7ndlBNmdnY557oT/B6jsuil78Q3Dz9JR1N+eV8PsFdSsfaJLYiQtQH
-RbEavDiY3f1/psTQOiBv12QjqKc0V431wklORX/fRI3dYsWZAVbAPhWP9r3dYMEv
-6RZOGJ66f8v5R53pgc9LDLj0kmxMwQd+yCPtHz+HF/DyTwJbHC6RpnPWN/TI31/p
-RgyZBswYO2K2+DbQuZ616uQ+Nn0WZsgc2zBJLpD6k3eiuSG4A4Il4cggnfLCNa/J
-K6BraGBdEd+es0qqegG3OueEmGiY0AZ9TEDb4Q6BSm0YWga6uqrR7iJYFPSUq9Ds
-scsTp2kHi4fHUVDK2CrEcFhrMi9srXSb/7HYMY6aedVhGpCjiX+YzUgYoblslTHl
-8uOYlj9EHVbPmg2iIXmL2tW6h/jjEM9ehH6FIXe/JnbvAK5IndQVH1RDbe6SjkCJ
-sjAq9reGLt1UxmWZQiJhlpQZPJxXTicN4V083d+kMOddG368Qho7X5GmuQY+OqPD
-OPrWI0VOmatD18HQ4CIWlnScBAr0NJGC6hmH1zKVe0ygrVXSuxoTqU3m2c22IC6v
-wQqF6kXsgh9bKwcP/lFMQ8JISGJR1thSd+tTgVjBqQma9Qc3frBW44QU2c6swnrp
-29ijrhLkTM+77bT0hPvJ
-=DcK0
+iEYEAREIAAYFAlW99b0ACgkQcaHudmEf86otQwCfcIaHpV11kDjinLz43/kdoY6G
+YjYAn0YY0boMGSMswA4QKuoXNLQVMuMg
+=/V8v
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild
deleted file mode 100644
index 89c9da53abc3..000000000000
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild
+++ /dev/null
@@ -1,82 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild,v 1.1 2013/12/10 11:46:28 gienah Exp $
-
-EAPI=5
-
-CABAL_FEATURES="bin"
-inherit haskell-cabal elisp-common
-
-DESCRIPTION="Agda standard library"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="http://www.cse.chalmers.se/~nad/software/lib-${PV}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="profile"
-
-# filemanip is used in lib.cabal to make the GenerateEverything and
-# AllNonAsciiChars executables, so agda-stdlib does not require a subslot
-# dependency on filemanip.
-
-RDEPEND="=sci-mathematics/agda-2.3.2*:=[profile?]
- =dev-haskell/filemanip-0.3*[profile?]
- >=sci-mathematics/agda-executable-2.3.0.1:=
- >=dev-lang/ghc-6.12.1
-"
-DEPEND="${RDEPEND}
- >=dev-haskell/cabal-1.8.0.2
-"
-
-SITEFILE="50${PN}-gentoo.el"
-
-S="${WORKDIR}/lib-${PV}"
-
-src_prepare() {
- cabal-mksetup
-}
-
-src_configure() {
- haskell-cabal_src_configure
- pushd "${S}/ffi"
- cabal-bootstrap
- cabal-configure
- popd
-}
-
-src_compile() {
- haskell-cabal_src_compile
- "${S}"/dist/build/GenerateEverything/GenerateEverything \
- || die "GenerateEverything failed"
- local prof
- use profile && prof="--ghc-flag=-prof"
- agda +RTS -K1G -RTS ${prof} \
- -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
- # Although my agda-9999 build has
- # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs
- # containing:
- # datadir = "/usr/share/agda-9999/ghc-7.6.1"
- # it fails without the --css option like:
- # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
- local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@')
- agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die
- pushd "${S}/ffi"
- cabal_src_compile
- popd
-}
-
-src_test() {
- agda -i "${S}" -i "${S}"/src README.agda || die
-}
-
-src_install() {
- insinto usr/share/agda-stdlib
- export INSOPTIONS=--preserve-timestamps
- doins -r src/*
- dodoc -r html/*
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
- pushd "${S}/ffi"
- cabal_src_install
- popd
-}
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild
deleted file mode 100644
index 474fc6116ab0..000000000000
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild,v 1.1 2013/09/13 06:56:46 gienah Exp $
-
-EAPI=5
-
-CABAL_FEATURES="bin"
-inherit haskell-cabal elisp-common
-
-DESCRIPTION="Agda standard library"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="http://www.cse.chalmers.se/~nad/software/lib-${PV}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="profile"
-
-DEPEND=">=sci-mathematics/agda-executable-2.3.0.1"
-RDEPEND="=sci-mathematics/agda-2.3.2*[profile?]
- =dev-haskell/filemanip-0.3*[profile?]"
-
-SITEFILE="50${PN}-gentoo.el"
-
-S="${WORKDIR}/lib-${PV}"
-
-src_prepare() {
- cabal-mksetup
-}
-
-src_compile() {
- haskell-cabal_src_compile
- "${S}"/dist/build/GenerateEverything/GenerateEverything \
- || die "GenerateEverything failed"
- local prof
- use profile && prof="--ghc-flag=-prof"
- agda +RTS -K1G -RTS ${prof} \
- -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
- # Although my agda-9999 build has
- # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs
- # containing:
- # datadir = "/usr/share/agda-9999/ghc-7.6.1"
- # it fails without the --css option like:
- # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
- local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@')
- agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die
-}
-
-src_test() {
- agda -i "${S}" -i "${S}"/src README.agda || die
-}
-
-src_install() {
- insinto usr/share/agda-stdlib
- export INSOPTIONS=--preserve-timestamps
- doins -r src/*
- dodoc -r html/*
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
-}
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog
index 7f8e1fa37ad7..6dcc30fc9198 100644
--- 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.31 2015/04/04 12:52:28 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.32 2015/08/02 10:52:08 slyfox Exp $
+
+ 02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.2-r5.ebuild,
+ -agda-2.3.2.1-r1.ebuild, -agda-2.3.2.2-r1.ebuild,
+ -files/agda-2.3.2-hashable-1.2.patch,
+ -files/agda-2.3.2.1-haskell-src-exts-1.14.patch:
+ Drop old.
04 Apr 2015; Mark Wright <gienah@gentoo.org> agda-2.4.2.2-r1.ebuild:
Loosen cpphs dep in agda-2.4.2.2-r1
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest
index 9f230bcb5999..78208b8f7c89 100644
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -2,25 +2,17 @@
Hash: SHA256
AUX 50agda2-gentoo.el 317 SHA256 043797b8766a610c08a5aa10b4ea46b955f208b851f0baea4ba4dbff74fb3417 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e WHIRLPOOL cba0b37c78d2e409081f90d7d68a2b5c21ad8cb79f51ff364c8ee9107c9f42a229d60b195a984acfcc45a9638b04bac0371e9eea4ef2bde1680983a85832329a
-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
-DIST Agda-2.3.2.1.tar.gz 730010 SHA256 790e02ed9af8b9b65ea704b765fd9937444ec1351da9bc2547aa8e9034038eb6 SHA512 d6aa7728d428a66b638f36d7d086be43f4956fa086c5e7dba47520c6b4e2294f149491c8b099c3402c93f9e6d559396573e0f2b72044f6d9c58ef29987c40113 WHIRLPOOL b7fa249ab8a3d11c9f9a00a44b2c3c560953e07d2c4db1eedd411fcfccd62e425a9d2b53c56c96a0002a9878bf21de1f736249751a91cdd795e7289af776c34c
-DIST Agda-2.3.2.2.tar.gz 2034934 SHA256 0c8310f4067e4daac42d7233e8f245d216763186071a96ccc3d7e0edc5cb227f SHA512 5dfc156dfaa510cfce5f745a8f4a1998cfe144bdd67df2bd96ffc4a53301a33b540b76f67bd02434c52de788a284ae351ce7659731b5d0081d707e120131cd25 WHIRLPOOL 71b1c6b6eb483aa7aa76884b609f0d60b4016f86cd267e48dd0df438a91662ac702656639801204ee414932d57526790b3122933272b07d8ae11ef64cea978ac
-DIST Agda-2.3.2.tar.gz 726462 SHA256 d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 SHA512 6bf4775517db41795303a4d1a4611856f599ea7595784a37cb5bb7c4608e948807549632d633a731e38502e61a528a0274b5bf8a6eaa0b9d86a9f558726d18cc WHIRLPOOL 7a0c95a72445b66ee297cdb07b5994deafe8b2f608a238226b0a241ad70b2d4f5e2834011fedc90018bfc692ff1aa4eea57143c01f9b1f496ebb4dc189d6353c
DIST Agda-2.4.0.1.tar.gz 906887 SHA256 58e678b9d193e19d4e69d8899129d9ae16df08a394873af850797f03cc2cbe86 SHA512 edd56ecea83241f3cb1aca4ac1e17970acf122c323a4ff38e2b5d8e46e46b1afd90fbbd460a6674a51cbb13a7cbf3a57b489e91a92ce3e709b2fc3d659013601 WHIRLPOOL 4e94c4277e8be99bd5a513c274fd5712f1d4a3e99d1e626a3b195b9cf83f9216de62220cfb5e8298cc0f11560a9c32dc0116db3bd67c2240842fa798f733065c
DIST Agda-2.4.2.2.tar.gz 963302 SHA256 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 SHA512 62376775255099570d9eb7814de77a239d0806669ee0993283429a400c7c45ca756c6735bab85b4d3a4b82defae544364ac9107fd622f2df1ebcbded3113204d WHIRLPOOL dd220346109b7e137cca2e3b091c581b0b4ed0e23340209c7eebc48b39d807a569c984fbe1aee813d18a7f953db86e82b6a6aa7e197e6a2c5569dc311625f45f
-EBUILD agda-2.3.2-r5.ebuild 3237 SHA256 aee04a11ef26500050c81e08df1843c6fd20114a3b42f4688d226e53fc81ec39 SHA512 c3b099da5caa4188692c9df4441f16aad6e5a6976fdf881f02e35f4966e8b7e8bd784b608832d228f364e091fb8ba34e68643f3f25b47048e7579f8a26d91e68 WHIRLPOOL 7bf515475508e702a5afe69cdf39f83d8418f652adb7b7735f877da65ca27cea9341f76639aad7542a83036f75f28d791b5c73f2470a5019dd68d33417d2921e
-EBUILD agda-2.3.2.1-r1.ebuild 3542 SHA256 9a23522d71b6b626ecf5db668da05b1f9be8efb6ebec286c9450db02b095f6c3 SHA512 cc9fad306e9ce4cb56b52885d680283c3741442612e373ecf059f5ef574c69c6dc1cc65969e4ade7fb073919872682f13639f4b417cc06ed58fb28e5f03e0f9e WHIRLPOOL 529b37ef254e50fd9ba99b25993794f30fab2610474bda8232246f3eea21a913c267a43577b016de2c476afa756553bfb3403f1247964fe74147c693be2d636e
-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 4668 SHA256 69dc4067ecfd1782e7cb62e262102cd6cfd2cf4bcd498b60566dd951b35d87fa SHA512 90cf68b062320984f942474863213786334b01df4ee55f34eeccaccbe7febf6a396e53f6380ee77fe42eedd32d1a676fcf345a3648cb208e71e124167ca0ae88 WHIRLPOOL ef66bf7186316cf64cac983e44065987974a107b542acc038072cc8c8284566962c87c3788b66859b750c086a3a7da34370af6fa9904f07cb9becc664412eaa9
-MISC ChangeLog 6059 SHA256 1986d7ed32944521dffbdc896abb684157dabdb13679f38f296d07a81b905d25 SHA512 e9e76e737ea281892a6bfaf7a12a2dc44b83dc161029a20793624ab20780a6101fb6606994a6aae5085232903cdf5f330f9efb8b03f634b3a5a6d935a6d55128 WHIRLPOOL f3e8cd876a0ecff79d625ce4f81190499c1d881a42418fe335c9fe5204cd6af1d7a831eeb9bedc3ed1a9586a3671c28370a5808f81a9ea408e0f8be5b77740fb
+MISC ChangeLog 6292 SHA256 41f4e2fbbc3e63513198352b10f93c590b6ebf5989321e45da387a5c3dfc18da SHA512 1369da60f2c9f01d8c552faeac3fd3f07afe1b15c12765f5cb431ef022f139824b44ac51bb66bc3d21b00b626273d51b6b604cd8bc8be47d93db56f7e75f17ac WHIRLPOOL fe2deaf9db358c79b4c564a4176f4cbc598cf38ad2e891bd6f91911c83b2c780d649447229a379a8cb08cdf26521751dec27a9c9d21d635691b75f873f2e7263
MISC metadata.xml 722 SHA256 0cc8c249a5a5457e5a91f4e7d0bffedb026b0990542a88b4c4ab39254e8d8426 SHA512 610076e344a59f9ee6d88671588df43a8dbfe47ea8021c1a35077277fe25de978f7fbc9d3318e1bc64173d2f4c7f449c2dafbd020ad224c8ea678c0098f9d00e WHIRLPOOL b5369e61aba1458a8f2e9e544eab067865bc33165b99f077bebfb8e7747472df4135947ff9bf3d5123cd861c734486f0f1a0957e03b952e02af594e89861a81f
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
-iF4EAREIAAYFAlUf3pIACgkQoBEVQmGOlx+VWgEA3U2lks/suICAoim8VKVQntom
-iWaXROf41/WfxQmCOpUBANhlr5Y1XLqWcc0R5nOzvyNNrmTNYFzUILJ7g84MTnQ3
-=nHFZ
+iEYEAREIAAYFAlW99lkACgkQcaHudmEf86rz0wCfT6BVx9ih1LEKxA5YjY8vHl5u
+oyQAn10KvEfhnNI9gBbJ56rM+NKQktxE
+=Mbi+
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda/agda-2.3.2-r5.ebuild b/sci-mathematics/agda/agda-2.3.2-r5.ebuild
deleted file mode 100644
index 3724f2086aaa..000000000000
--- a/sci-mathematics/agda/agda-2.3.2-r5.ebuild
+++ /dev/null
@@ -1,101 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2-r5.ebuild,v 1.1 2013/04/02 07:23:23 gienah Exp $
-
-EAPI=5
-
-# ebuild generated by hackport 0.3.9999
-
-CABAL_FEATURES="lib profile"
-inherit haskell-cabal eutils elisp-common
-
-MY_PN="Agda"
-MY_P="${MY_PN}-${PV}"
-
-DESCRIPTION="A dependently typed functional programming language and proof assistant"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="epic +stdlib"
-
-RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
- <dev-haskell/binary-0.8:=[profile?]
- =dev-haskell/deepseq-1.3*:=[profile?]
- epic? ( dev-lang/epic:=[profile?] )
- >=dev-haskell/geniplate-0.6.0.3:=[profile?]
- <dev-haskell/geniplate-0.7:=[profile?]
- >=dev-haskell/hashable-1.1.2.3:=[profile?]
- <dev-haskell/hashable-1.3:=[profile?]
- >=dev-haskell/hashtables-1.0:=[profile?]
- <dev-haskell/hashtables-1.2:=[profile?]
- >=dev-haskell/haskeline-0.6.3.2:=[profile?]
- <dev-haskell/haskeline-0.8:=[profile?]
- >=dev-haskell/haskell-src-exts-1.9.6:=[profile?]
- <dev-haskell/haskell-src-exts-1.14:=[profile?]
- >=dev-haskell/mtl-2.0:=[profile?]
- <dev-haskell/mtl-2.2:=[profile?]
- <dev-haskell/parallel-3.3:=[profile?]
- >=dev-haskell/quickcheck-2.3:2=[profile?]
- <dev-haskell/quickcheck-2.7:2=[profile?]
- =dev-haskell/text-0.11*:=[profile?]
- =dev-haskell/unordered-containers-0.2*:=[profile?]
- =dev-haskell/xhtml-3000.2*:=[profile?]
- >=dev-haskell/zlib-0.4.0.1:=[profile?]
- <dev-haskell/zlib-0.6:=[profile?]
- >=dev-lang/ghc-6.12.1:=
- virtual/emacs
- app-emacs/haskell-mode"
-PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
-DEPEND="${RDEPEND}
- dev-haskell/alex
- >=dev-haskell/cabal-1.8
- dev-haskell/happy"
-
-SITEFILE="50${PN}2-gentoo.el"
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
- 'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.8' \
- 'hashable >= 1.1.2.3 && < 1.2' 'hashable >= 1.1.2.3 && < 1.3' \
- 'hashtables == 1.0.*' 'hashtables >= 1.0 && < 1.2' \
- 'QuickCheck >= 2.3 && < 2.6' 'QuickCheck >= 2.3 && < 2.7'
- epatch "${FILESDIR}/${PN}-2.3.2-hashable-1.2.patch"
- sed -e '/.*emacs-mode.*$/d' \
- -e '/^executable agda/,$d' \
- -i "${S}/${MY_PN}.cabal" \
- || die "Could not remove agda and agda-mode from ${MY_PN}.cabal"
- cabal-mksetup
- if use epic && use stdlib; then
- ewarn "Note that the agda-stdlib README:"
- ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
- ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
- ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
- ewarn "the Agda standard library."
- fi
-}
-
-src_configure() {
- cabal_src_configure $(cabal_flag epic)
-}
-
-src_install() {
- haskell-cabal_src_install
- elisp-install ${PN} src/data/emacs-mode/*.el \
- || die "Failed to install emacs mode"
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
- || die "Failed to install elisp site file"
-}
-
-pkg_postinst() {
- ghc-package_pkg_postinst
- elisp-site-regen
-}
-
-pkg_postrm() {
- ghc-package_pkg_prerm
- elisp-site-regen
-}
diff --git a/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild b/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild
deleted file mode 100644
index c730dd776823..000000000000
--- a/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild
+++ /dev/null
@@ -1,110 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2.1-r1.ebuild,v 1.2 2013/10/19 11:07:42 gienah Exp $
-
-EAPI=5
-
-# ebuild generated by hackport 0.3.2.9999
-
-CABAL_FEATURES="lib profile"
-inherit haskell-cabal eutils elisp-common
-
-MY_PN="Agda"
-MY_P="${MY_PN}-${PV}"
-
-DESCRIPTION="A dependently typed functional programming language and proof assistant"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="epic +stdlib"
-
-RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
- <dev-haskell/binary-0.8:=[profile?]
- =dev-haskell/deepseq-1.3*:=[profile?]
- >=dev-haskell/geniplate-0.6.0.3:=[profile?]
- <dev-haskell/geniplate-0.7:=[profile?]
- >=dev-haskell/hashable-1.1.2.3:=[profile?]
- <dev-haskell/hashable-1.3:=[profile?]
- >=dev-haskell/hashtables-1.0:=[profile?]
- <dev-haskell/hashtables-1.2:=[profile?]
- >=dev-haskell/haskeline-0.6.3.2:=[profile?]
- <dev-haskell/haskeline-0.8:=[profile?]
- >=dev-haskell/haskell-src-exts-1.9.6:=[profile?]
- <dev-haskell/haskell-src-exts-1.15:=[profile?]
- >=dev-haskell/mtl-2.0:=[profile?]
- <dev-haskell/mtl-2.2:=[profile?]
- <dev-haskell/parallel-3.3:=[profile?]
- >=dev-haskell/quickcheck-2.3:=[profile?]
- <dev-haskell/quickcheck-2.7:=[profile?]
- =dev-haskell/text-0.11*:=[profile?]
- =dev-haskell/unordered-containers-0.2*:=[profile?]
- =dev-haskell/xhtml-3000.2*:=[profile?]
- >=dev-haskell/zlib-0.4.0.1:=[profile?]
- <dev-haskell/zlib-0.6:=[profile?]
- >=dev-lang/ghc-6.12.1:=
- virtual/emacs
- app-emacs/haskell-mode
- epic? ( <dev-lang/epic-0.10:=[profile?]
- >=dev-lang/epic-0.1.13:=[profile?]
- )
- || ( >=dev-haskell/mtl-2.0:=[profile?] <dev-haskell/mtl-2.1:=[profile?] >=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.2:=[profile?] )"
-DEPEND="${RDEPEND}
- dev-haskell/alex
- >=dev-haskell/cabal-1.8
- dev-haskell/happy"
-
-SITEFILE="50${PN}2-gentoo.el"
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- epatch "${FILESDIR}/${PN}-2.3.2.1-haskell-src-exts-1.14.patch"
- CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
- 'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.8' \
- 'hashtables == 1.0.*' 'hashtables >= 1.0 && < 1.2' \
- 'haskell-src-exts >= 1.9.6 && < 1.14' 'haskell-src-exts >= 1.9.6 && < 1.15' \
- 'alex >= 2.3.1 && < 3.1' 'alex >= 2.3.1 && < 3.2'
- sed -e '/.*emacs-mode.*$/d' \
- -e '/^executable agda/,$d' \
- -i "${S}/${MY_PN}.cabal" \
- || die "Could not remove agda and agda-mode from ${MY_PN}.cabal"
- cabal-mksetup
- if use epic && use stdlib; then
- ewarn "Note that the agda-stdlib README:"
- ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
- ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
- ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
- ewarn "the Agda standard library."
- fi
-}
-
-src_configure() {
- haskell-cabal_src_configure \
- $(cabal_flag epic epic)
-}
-
-src_compile() {
- elisp-compile src/data/emacs-mode/*.el \
- || die "Failed to compile emacs mode"
- haskell-cabal_src_compile
-}
-
-src_install() {
- haskell-cabal_src_install
- elisp-install ${PN} src/data/emacs-mode/*.el \
- || die "Failed to install emacs mode"
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
- || die "Failed to install elisp site file"
-}
-
-pkg_postinst() {
- ghc-package_pkg_postinst
- elisp-site-regen
-}
-
-pkg_postrm() {
- ghc-package_pkg_prerm
- elisp-site-regen
-}
diff --git a/sci-mathematics/agda/agda-2.3.2.2-r1.ebuild b/sci-mathematics/agda/agda-2.3.2.2-r1.ebuild
deleted file mode 100644
index 1ba6c976b985..000000000000
--- a/sci-mathematics/agda/agda-2.3.2.2-r1.ebuild
+++ /dev/null
@@ -1,116 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2.2-r1.ebuild,v 1.2 2014/02/25 15:40:58 slyfox Exp $
-
-EAPI=5
-
-# ebuild generated by hackport 0.3.4.9999
-
-CABAL_FEATURES="lib profile"
-inherit haskell-cabal elisp-common
-
-MY_PN="Agda"
-MY_P="${MY_PN}-${PV}"
-
-DESCRIPTION="A dependently typed functional programming language and proof assistant"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="epic +stdlib"
-
-RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?] <dev-haskell/binary-0.8:=[profile?]
- >=dev-haskell/deepseq-1.3:=[profile?] <dev-haskell/deepseq-1.4:=[profile?]
- >=dev-haskell/geniplate-0.6.0.3:=[profile?] <dev-haskell/geniplate-0.7:=[profile?]
- >=dev-haskell/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.2:=[profile?]
- >=dev-haskell/haskeline-0.6.3.2:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
- >=dev-haskell/haskell-src-exts-1.9.6:=[profile?] <dev-haskell/haskell-src-exts-1.15:=[profile?]
- <dev-haskell/parallel-3.3:=[profile?]
- >=dev-haskell/quickcheck-2.3:=[profile?] <dev-haskell/quickcheck-2.7:=[profile?]
- >=dev-haskell/text-0.11:=[profile?]
- >=dev-haskell/unordered-containers-0.2:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
- >=dev-haskell/xhtml-3000.2:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
- >=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.6:=[profile?]
- >=dev-lang/ghc-6.12.1:=
- epic? ( >=dev-lang/epic-0.1.13:=[profile?] <dev-lang/epic-0.10:=[profile?] )
- || ( ( >=dev-haskell/mtl-2.0:=[profile?] <dev-haskell/mtl-2.1:=[profile?] )
- ( >=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.2:=[profile?] ) )
- || ( ( >=dev-haskell/hashable-1.1.2.3:=[profile?] <dev-haskell/hashable-1.2:=[profile?] )
- ( >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?] ) )
- virtual/emacs
-"
-PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
-DEPEND="${RDEPEND}
- dev-haskell/alex
- >=dev-haskell/cabal-1.8.0.2
- dev-haskell/happy
-"
-
-SITEFILE="50${PN}2-gentoo.el"
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
- 'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.8' \
- 'text == 0.11.*' 'text >= 0.11' \
- 'base >= 4.2 && < 4.7' 'base >= 4.2 && < 4.8' \
- 'array >= 0.1 && < 0.5' 'array >= 0.1 && < 0.6' \
- 'process >= 1.0.1.0 && < 1.2' 'process >= 1.0.1.0 && < 1.3'
-
- sed -e '/.*emacs-mode.*$/d' \
- -e '/^executable agda/,$d' \
- -i "${S}/${MY_PN}.cabal" \
- || die "Could not remove agda and agda-mode from ${MY_PN}.cabal"
-
- cabal-mksetup
-
- if use epic && use stdlib; then
- ewarn "Note that the agda-stdlib README:"
- ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
- ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
- ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
- ewarn "the Agda standard library."
- fi
- sed -e 's@-Werror@@g' \
- -i "${S}/${MY_PN}.cabal" \
- -i "${S}/mk/config.mk.in" \
- -i "${S}/src/prototyping/eval/Makefile" \
- -i "${S}/src/prototyping/nameless/Makefile" \
- -i "${S}/src/rts/${PN}-rts.cabal" \
- || die "sed to remove -Werror failed"
- sed -e '/, "-Werror"/d' \
- -i "${S}/src/full/Agda/Compiler/MAlonzo/Compiler.hs" \
- || die "sed to remove -Werror from Compiler.hs failed"
-}
-
-src_configure() {
- haskell-cabal_src_configure \
- $(cabal_flag epic epic)
-}
-
-src_compile() {
- BYTECOMPFLAGS="-L ./src/data/emacs-mode"
- elisp-compile src/data/emacs-mode/*.el \
- || die "Failed to compile emacs mode"
- haskell-cabal_src_compile
-}
-
-src_install() {
- haskell-cabal_src_install
- elisp-install ${PN} src/data/emacs-mode/*.el \
- || die "Failed to install emacs mode"
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
- || die "Failed to install elisp site file"
-}
-
-pkg_postinst() {
- ghc-package_pkg_postinst
- elisp-site-regen
-}
-
-pkg_postrm() {
- ghc-package_pkg_prerm
- elisp-site-regen
-}
diff --git a/sci-mathematics/agda/files/agda-2.3.2-hashable-1.2.patch b/sci-mathematics/agda/files/agda-2.3.2-hashable-1.2.patch
deleted file mode 100644
index 407b3616fa20..000000000000
--- a/sci-mathematics/agda/files/agda-2.3.2-hashable-1.2.patch
+++ /dev/null
@@ -1,66 +0,0 @@
---- Agda-2.3.2-orig/src/full/Agda/Syntax/Abstract/Name.hs 2012-11-12 11:25:21.000000000 +1100
-+++ Agda-2.3.2/src/full/Agda/Syntax/Abstract/Name.hs 2012-12-18 22:10:22.241674353 +1100
-@@ -239,8 +239,13 @@
- show x = show (nameConcrete x) -- ++ "|" ++ show (nameId x)
-
- instance Hashable Name where
-+#if MIN_VERSION_hashable(1,2,0)
-+ {-# INLINE hashWithSalt #-}
-+ hashWithSalt salt = (hashWithSalt salt) . nameId
-+#else
- {-# INLINE hash #-}
- hash = hash . nameId
-+#endif
-
- instance Show QName where
- show q = concat $ intersperse "." $ map show $ qnameToList q
-@@ -255,8 +260,13 @@
- compare = compare `on` qnameName
-
- instance Hashable QName where
-+#if MIN_VERSION_hashable(1,2,0)
-+ {-# INLINE hashWithSalt #-}
-+ hashWithSalt salt = (hashWithSalt salt) . qnameName
-+#else
- {-# INLINE hash #-}
- hash = hash . qnameName
-+#endif
-
- instance HasRange Name where
- getRange = getRange . nameConcrete
---- Agda-2.3.2-orig/src/full/Agda/Syntax/Common.hs 2012-11-12 11:25:21.000000000 +1100
-+++ Agda-2.3.2/src/full/Agda/Syntax/Common.hs 2012-12-18 22:11:29.730050687 +1100
-@@ -272,8 +272,13 @@
- fromEnum (NameId n _) = fromIntegral n
-
- instance Hashable NameId where
-+#if MIN_VERSION_hashable(1,2,0)
-+ {-# INLINE hashWithSalt #-}
-+ hashWithSalt salt (NameId n m) = hashWithSalt salt (n, m)
-+#else
- {-# INLINE hash #-}
- hash (NameId n m) = hash (n, m)
-+#endif
-
- newtype Constr a = Constr a
-
---- Agda-2.3.2-orig/src/full/Agda/Utils/Pointer.hs 2012-11-12 11:25:22.000000000 +1100
-+++ Agda-2.3.2/src/full/Agda/Utils/Pointer.hs 2012-12-18 22:12:18.834049775 +1100
-@@ -1,4 +1,4 @@
--{-# LANGUAGE DeriveDataTypeable #-}
-+{-# LANGUAGE DeriveDataTypeable, CPP #-}
- module Agda.Utils.Pointer
- ( Ptr, newPtr, derefPtr, setPtr
- , updatePtr, updatePtrM
-@@ -71,7 +71,11 @@
- compare = compare `on` ptrTag
-
- instance Hashable (Ptr a) where
-+#if MIN_VERSION_hashable(1,2,0)
-+ hashWithSalt salt = (hashWithSalt salt) . ptrTag
-+#else
- hash = hash . ptrTag
-+#endif
-
- instance NFData (Ptr a) where
-
diff --git a/sci-mathematics/agda/files/agda-2.3.2.1-haskell-src-exts-1.14.patch b/sci-mathematics/agda/files/agda-2.3.2.1-haskell-src-exts-1.14.patch
deleted file mode 100644
index 4a94b089243c..000000000000
--- a/sci-mathematics/agda/files/agda-2.3.2.1-haskell-src-exts-1.14.patch
+++ /dev/null
@@ -1,34 +0,0 @@
---- Agda-2.3.2.1-orig/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2013-06-05 02:19:33.000000000 +1000
-+++ Agda-2.3.2.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2013-09-13 14:41:50.525225325 +1000
-@@ -228,7 +228,11 @@
- (a, _) <- conArityAndPars c
- Just (HsDefn _ hsc) <- compiledHaskell . defCompiledRep <$> getConstInfo c
- let pat = HS.PApp (HS.UnQual $ HS.Ident hsc) $ genericReplicate a HS.PWildCard
-+#if MIN_VERSION_haskell_src_exts(1,14,0)
-+ return $ HS.Alt dummy pat (HS.UnGuardedAlt $ HS.Tuple HS.Boxed []) (HS.BDecls [])
-+#else
- return $ HS.Alt dummy pat (HS.UnGuardedAlt $ HS.Tuple []) (HS.BDecls [])
-+#endif
- cs <- mapM makeClause cs
- let rhs = case cs of
- [] -> fakeExp "()" -- There is no empty case statement in Haskell
-@@ -469,11 +473,19 @@
- ]
- where
- parse = HS.parseWithMode
-+#if MIN_VERSION_haskell_src_exts(1,14,0)
-+ HS.defaultParseMode{HS.extensions = L.map HS.EnableExtension [explicitForAll]}
-+#else
- HS.defaultParseMode{HS.extensions = [explicitForAll]}
-+#endif
- ok (HS.ParseOk d) = d
- ok HS.ParseFailed{} = __IMPOSSIBLE__
-
-+#if MIN_VERSION_haskell_src_exts(1,14,0)
-+explicitForAll :: HS.KnownExtension
-+#else
- explicitForAll :: HS.Extension
-+#endif
- explicitForAll =
- -- GHC 7.0.1 cannot parse the following CPP conditional
- -- error: missing binary operator before token "("