diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-04-13 10:56:39 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-04-13 10:56:39 +0000 |
| commit | 3b20298ae6c241792e603a6d1597016f28508b43 (patch) | |
| tree | 824d07d4a0c94b7af3d1b83b87348d2b24fea4b3 /sci-mathematics/agda/files | |
| parent | Fix TEXTREL on ppc, patch by and thanks to Kimura Masaru <hiyuh.root@gmail.co... (diff) | |
| download | gentoo-2-3b20298ae6c241792e603a6d1597016f28508b43.tar.gz gentoo-2-3b20298ae6c241792e603a6d1597016f28508b43.tar.bz2 gentoo-2-3b20298ae6c241792e603a6d1597016f28508b43.zip | |
Fix agda 2.3.0.1 build with mtl-2.1
(Portage version: 2.1.10.56/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda/files')
| -rw-r--r-- | sci-mathematics/agda/files/agda-2.3.0.1-mtl-2.1.patch | 11 |
1 files changed, 11 insertions, 0 deletions
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 new file mode 100644 index 000000000000..7f592a3d5608 --- /dev/null +++ b/sci-mathematics/agda/files/agda-2.3.0.1-mtl-2.1.patch @@ -0,0 +1,11 @@ +--- 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, |